Package | Description |
---|---|
com.ugos.jiprolog.engine | |
com.ugos.jiprolog.extensions.exception | |
com.ugos.jiprolog.extensions.sets |
Modifier and Type | Class and Description |
---|---|
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
|
Modifier and Type | Method and Description |
---|---|
JIPTerm |
JIPList.getHead()
Returns the head of this JIPList object
|
JIPTerm |
JIPCons.getHead()
Returns the head of this JIPCons object
|
JIPTerm |
JIPList.getNth(int n)
Returns the nth term in this list.
|
JIPTerm |
JIPCons.getNth(int n)
Returns the nth term in this cons.
|
JIPTerm |
JIPList.getTail()
Returns the tail of this JIPList object
|
JIPTerm |
JIPCons.getTail()
Returns the tail of this JIPCons object
|
JIPTerm |
JIPSyntaxErrorException.getTerm()
Gets the error term associated to this exception
|
JIPTerm |
JIPRuntimeException.getTerm()
Gets the eerror term associated to this exception
|
JIPTerm |
JIPParameterUnboundedException.getTerm()
Gets the error term associated to this exception
|
JIPTerm |
JIPParameterTypeException.getTerm()
Gets the error term associated to this exception
|
JIPTerm |
JIPJVMException.getTerm()
Gets the error term associated to this exception
|
JIPTerm |
JIPEvent.getTerm()
Gets the notified term
|
JIPTerm |
JIPFunctor.getTerm(int index)
Returns the Atom of this JIPfunctor object
|
JIPTerm |
JIPVariable.getValue()
If the variable is bounded it returns the JIPTerm object bounded, otherwise it return null.
|
JIPTerm |
JIPTerm.getValue() |
JIPTerm |
JIPQuery.nextSolution()
Searches for another solution.
|
JIPTerm |
JIPTermParser.parseTerm(String strTerm)
Parses the term passed in the parameter and returns a JIPTerm object that wraps the corresponding prolog term.
|
Modifier and Type | Method and Description |
---|---|
Enumeration<JIPTerm> |
JIPTermParser.parseStream(InputStream ins,
String streamName)
Returns an enumeration of terms contained in the specified input stream.
|
Enumeration<JIPTerm> |
JIPTermParser.parseStream(InputStream ins,
String streamName,
String encoding)
Returns an enumeration of terms contained in the specified input stream.
|
Modifier and Type | Method and Description |
---|---|
void |
JIPEngine.abolish(JIPTerm term)
It is equivalent to abolish/1 predicate.
|
void |
JIPEngine.asserta(JIPTerm term)
It is equivalent to asserta/1 predicate.
|
void |
JIPEngine.assertz(JIPTerm term)
It is equivalent to assert/1 predicate.
|
static JIPClause |
JIPClause.create(JIPTerm term)
Creates a new JIPClause object starting from e JIPTerm object
|
static JIPList |
JIPList.create(JIPTerm head,
JIPTerm tail)
Creates a new List
|
static JIPCons |
JIPCons.create(JIPTerm head,
JIPTerm tail)
Creates a new cons object
|
void |
JIPEngine.notifyEvent(int nID,
JIPTerm term,
int nQueryHandle)
Notifies a JIPEvent.
|
int |
JIPEngine.openQuery(JIPTerm jipquery)
Opens a query.
|
JIPQuery |
JIPEngine.openSynchronousQuery(JIPTerm jipquery)
Returns a reference to a synchronous query.
|
boolean |
JIPEngine.retract(JIPTerm term)
It is equivalent to retract/1 predicate.
|
boolean |
JIPTerm.unifiable(JIPTerm term)
Checks if this JIPTerm object unifies with the specified term.
|
boolean |
JIPTerm.unify(JIPTerm term,
Hashtable varTable)
Unifies this JIPTerm object with the specified term.
|
Modifier and Type | Method and Description |
---|---|
JIPTerm |
JIPUserException.getTerm() |
Constructor and Description |
---|
JIPUserException(JIPTerm term) |
Modifier and Type | Method and Description |
---|---|
protected Vector |
Findall3.collect(JIPTerm query) |