public class PrologImpl extends _PrologImplBase
Constructor and Description |
---|
PrologImpl()
construction with default libraries: ISO + Meta
|
PrologImpl(java.lang.String[] libs)
construction speciying (eventually) libraries
|
Modifier and Type | Method and Description |
---|---|
void |
clearTheory()
managing theory theory
|
java.lang.String |
getTheory() |
boolean |
hasOpenAlternatives() |
void |
loadLibrary(java.lang.String className) |
void |
setTheory(java.lang.String st) |
SolveInfo |
solve(java.lang.String g) |
void |
solveEnd() |
void |
solveHalt() |
SolveInfo |
solveNext() |
void |
unloadLibrary(java.lang.String className) |
_ids, _invoke
_create_request, _create_request, _duplicate, _get_delegate, _get_domain_managers, _get_interface_def, _get_policy, _hash, _invoke, _is_a, _is_equivalent, _is_local, _non_existent, _orb, _release, _releaseReply, _request, _request, _servant_postinvoke, _servant_preinvoke, _set_delegate, _set_policy_override, equals, hashCode, toString
public PrologImpl()
public PrologImpl(java.lang.String[] libs) throws InvalidLibraryException
InvalidLibraryException
public void clearTheory()
public java.lang.String getTheory()
public void setTheory(java.lang.String st)
public SolveInfo solve(java.lang.String g)
public boolean hasOpenAlternatives()
public SolveInfo solveNext()
public void solveHalt()
public void solveEnd()
public void loadLibrary(java.lang.String className)
public void unloadLibrary(java.lang.String className)