Uses of Class
com.ugos.JIProlog.engine.JIPTerm

Packages that use JIPTerm

com.ugos.JIProlog.engine

Uses of JIPTerm in com.ugos.JIProlog.engine

Subclasses of JIPTerm in com.ugos.JIProlog.engine

class	JIPAtom JIPAtom wraps a prolog atom
class	JIPClause JIPClause wraps a prolog clause
class	JIPCons JIPList wraps a prolog cons (a cons is composed by a set of terms separated by comma eventually enclosed in parenthesis: a,b,c or (a,b,c,).
class	JIPFunctor JIPFunctor wraps a prolog functor
class	JIPList JIPList wraps a prolog list
class	JIPNumber JIPNumber wraps a prolog number
class	JIPString JIPString wraps to a prolog string.
class	JIPVariable JIPVariable wraps a prolog variable

Methods in com.ugos.JIProlog.engine that return JIPTerm

JIPTerm	JIPVariable.getValue() If the variable is bounded it returns the JIPTerm object bounded, otherwise it raises a JIPRuntimeException.
JIPTerm	JIPTermParser.parseTerm(java.lang.String strTerm) Parses the term passed in the parameter and returns a JIPTerm object that wraps the corresponding prolog term.
JIPTerm	JIPSyntaxErrorException.getTerm() Gets the error term associated to this exception
JIPTerm	JIPRuntimeException.getTerm() Gets the eerror term associated to this exception
JIPTerm	JIPQuery.nextSolution() Searches for another solution.
JIPTerm	JIPParameterUnboundedException.getTerm() Gets the error term associated to this exception
JIPTerm	JIPParameterTypeException.getTerm() Gets the error term associated to this exception
JIPTerm	JIPList.getHead() Returns the head of this JIPList object
JIPTerm	JIPList.getTail() Returns the tail of this JIPList object
JIPTerm	JIPList.getNth(int n) Returns the nth term in this list.
JIPTerm	JIPJVMException.getTerm() Gets the error term associated to this exception
JIPTerm	JIPEvent.getTerm() Gets the notified term
JIPTerm	JIPCons.getHead() Returns the head of this JIPCons object
JIPTerm	JIPCons.getTail() Returns the tail of this JIPCons object
JIPTerm	JIPCons.getNth(int n) Returns the nth term in this cons.

Methods in com.ugos.JIProlog.engine with parameters of type JIPTerm

boolean	JIPTerm.unifiable(JIPTerm term) Checks if this JIPTerm object unifies with the specified term.
boolean	JIPTerm.unify(JIPTerm term, java.util.Hashtable varTable) Unifies this JIPTerm object with the specified term.
static JIPList	JIPList.create(JIPTerm head, JIPTerm tail) Creates a new List
static JIPList	JIPList.create(JIPTerm head, JIPTerm tail) Creates a new List
void	JIPEngine.asserta(JIPTerm term) It is equivalent to asserta/1 predicate.
boolean	JIPEngine.retract(JIPTerm term) It is equivalent to retract/1 predicate.
void	JIPEngine.assertz(JIPTerm term) It is equivalent to assert/1 predicate.
void	JIPEngine.abolish(JIPTerm term) It is equivalent to abolish/1 predicate.
JIPQuery	JIPEngine.openSynchronousQuery(JIPTerm jipquery) Returns a reference to a synchronous query.
int	JIPEngine.openQuery(JIPTerm jipquery) Opens a query.
void	JIPEngine.notifyEvent(int nID, JIPTerm term, int nQueryHandle) Notifies a JIPEvent.
static JIPCons	JIPCons.create(JIPTerm head, JIPTerm tail) Creates a new cons object
static JIPCons	JIPCons.create(JIPTerm head, JIPTerm tail) Creates a new cons object
static JIPClause	JIPClause.create(JIPTerm term) Creates a new JIPClause object starting from e JIPTerm object