com.xsb.interprolog
Class AbstractNativeEngine
java.lang.Object
   com.declarativa.interprolog.AbstractPrologEngine
com.declarativa.interprolog.AbstractPrologEngine
       com.xsb.interprolog.AbstractNativeEngine
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 depends on interprolog_callback.c and other files, 
that are included in the emu directory of XSB Prolog 2.5 and later
 
 
 
 
 
| Methods inherited from class com.declarativa.interprolog.AbstractPrologEngine | 
| abortTasks, assignableType, command, consultAbsolute, consultFromPackage, consultRelative, deterministicGoal, deterministicGoal, deterministicGoal, deterministicGoal, doCallback, endAllTasks, findConstructor, findMethod, firstJavaMessage, getImplementationPeer, getJarDirectory, getJarDirectory, getLoadFromJar, getPrologBaseDirectory, getPrologNumericVersion, getPrologVersion, getRealJavaObject, getRealJavaObject, getRealJavaObject, handleCallback, interrupt, interruptTasks, isAvailable, isDebug, isIdle, isMacOS, isShutingDown, isWindowsOS, load_dynRelative, makeInvisible, printBindings, progressMessage, prologBinToBaseDirectory, realCommand, registerJavaObject, setDebug, setThreadedCallbacks, shortClassName, shutdown, teachMoreObjects, teachMoreObjects, teachMoreObjects, teachOneObject, unescapedFilePath, unregisterJavaObject, unregisterJavaObject, unregisterJavaObjects, waitUntilAvailable, waitUntilIdle | 
 
 
AbstractNativeEngine
public AbstractNativeEngine(String XSB_BIN_DIR,
                            boolean debug,
                            boolean loadFromJar)
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:
- deterministicGoalin interface- PrologEngine
- Overrides:
- deterministicGoalin 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
- 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[])