public class EDCGLibrary extends Library
Constructor and Description |
---|
EDCGLibrary() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
getTheory()
Gets the theory provided with the library
Empty theory is provided by default.
|
boolean |
phrase_guard_2(Term arg0,
Term arg1) |
boolean |
phrase_guard_3(Term arg0,
Term arg1,
Term arg2) |
dismiss, evalExpression, getEngine, getName, getPrimitives, getSynonymMap, getTheory, match, onSolveBegin, onSolveEnd, onSolveHalt, setEngine, unify
public java.lang.String getTheory()
Library
public boolean phrase_guard_2(Term arg0, Term arg1) throws PrologError
PrologError
public boolean phrase_guard_3(Term arg0, Term arg1, Term arg2) throws PrologError
PrologError