if (prologEngine == null) {
String engine_type = System.getProperty("RealTrust.nativeEngine");
if (engine_type != null) {
prologEngine = new NativeEngine(getEnginePath());
} else {
prologEngine = new XSBSubprocessEngine(getEnginePath());
}
String trust_engine = System.getProperty("RealTrust.trustEngine");