com.xsb.interprolog

Class AbstractNativeEngine

java.lang.Object

com.declarativa.interprolog.AbstractPrologEngine

com.xsb.interprolog.AbstractNativeEngine

All Implemented Interfaces:

PrologEngine

Direct Known Subclasses:

NativeEngine

public abstract class AbstractNativeEngine
extends AbstractPrologEngine

A PrologEngine implemented using the Java Native Interface. This class (which may become XSB-agnostic sometime, but not now) depends on interprolog_callback.c and other files, that are included in the emu directory of XSB Prolog 2.5 and later

Field Summary

Fields

Modifier and Type	Field and Description
static boolean	JNIinSameThread If true, all JNI calls (including the Prolog callback predicate/function) run in the same thread.

Fields inherited from class com.declarativa.interprolog.AbstractPrologEngine

firstJavaMessageName, interPrologFileLoaded, nl, prologBinDirectoryOrCommand

Fields inherited from interface com.declarativa.interprolog.PrologEngine

MAX_INT_VALUE, MIN_INT_VALUE, version

Constructor Summary

Constructors

Constructor and Description
AbstractNativeEngine(String XSB_BIN_DIR, boolean debug, boolean loadFromJar)

Method Summary

Modifier and Type	Method and Description
Object[]	deterministicGoal(String G, String OVar, Object[] objectsP, String RVars) Synchronously calls a Prolog goal.

Methods inherited from class com.declarativa.interprolog.AbstractPrologEngine

abortTasks, add_lib_dir, addPrologEngineListener, addSoftwareLibrary, addSoftwareLibrary, assignableType, command, command, command, consultAbsolute, consultAbsolute, consultFromPackage, consultFromPackage, consultRelative, createTempDirectory, currentTimeSecs, deleteAll, deleteTempFiles, deterministicGoal, deterministicGoal, deterministicGoal, deterministicGoal, deterministicGoalJSON, doCallback, endAllTasks, exec, executingOnJavaSide, findConstructor, findMethod, firstJavaMessage, getImplementationPeer, getInterprologPath, getJarDirectory, getJarDirectory, getLoadFromJar, getPrologBaseDirectory, getPrologNumericVersion, getPrologVersion, getRealJavaObject, getRealJavaObject, getRealJavaObject, getThePrologListener, goal, goal, handleCallback, hasPrologExtension, inPrologShell, interrupt, interruptTasks, is64WindowsOS, isAllowSimultaneousThreads, isAvailable, isDebug, isIdle, isLinuxOS, isMacOS, isPaused, isProfiling, isSerializable, isShutingDown, isThreadedCallbacks, isWindowsOS, lastSolutionUndefined, load_dynAbsolute, load_dynRelative, loop, loop2, makeInvisible, printAllStackTraces, printAllStackTraces, printBindings, printStackTrace, profilingMessage, progressMessage, progressMessage, prologBinToBaseDirectory, prologCanWork, prologEnteredBreak, prologResumedComputation, prologReturnedToTopLevel, realCommand, registerJavaObject, removePrologEngineListener, serverFileSeparatorChar, serverIsWindows, setAllowSimultaneousThreads, setDebug, setProfiling, setThreadedCallbacks, setTimedCallIntervall, shortClassName, shutdown, stop, teachMoreObjects, teachMoreObjects, teachMoreObjects, teachOneObject, toString, unescapedFilePath, unregisterJavaObject, unregisterJavaObject, unregisterJavaObjects, waitUntilAvailable, waitUntilIdle

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

JNIinSameThread

public static final boolean JNIinSameThread

If true, all JNI calls (including the Prolog callback predicate/function) run in the same thread. If false, the initialization JNI calls run in the constructor thread, others in a separate thread. Was used in past experimentation.

See Also:

Constant Field Values

Constructor Detail

AbstractNativeEngine

public AbstractNativeEngine(String XSB_BIN_DIR,
                            boolean debug,
                            boolean loadFromJar)

Method Detail

deterministicGoal

public Object[] deterministicGoal(String G,
                                  String OVar,
                                  Object[] objectsP,
                                  String RVars)

Description copied from class: AbstractPrologEngine

Synchronously calls a Prolog goal. Only the first solution is considered. G should contain a syntactically correct Prolog term, without the trailing dot (.). Throws an IPAbortedException if a Prolog abort happens, and an IPInterruptedException if the interrupt() method was invoked.

Specified by:

deterministicGoal in interface PrologEngine

Overrides:

deterministicGoal in class AbstractPrologEngine

Parameters:

G - Prolog goal term

OVar - Prolog variable that will be bound to objectsP array

objectsP - Array of Java objects to pass to Prolog goal; nonserializable objects are encapsulated in InvisibleObject references, changing this array

RVars - Prolog list with object specifications, typically containing variables occurring in g. If null a single binding will be returned, containing a TermModel object representing the goal term solution

Returns:

a new array containing an object for each term in the rVars list, or null if goal fails

See Also:

AbstractPrologEngine.deterministicGoal(String), AbstractPrologEngine.deterministicGoal(String,String), AbstractPrologEngine.deterministicGoal(String,String,Object[])