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

Packages that use JIPClause

com.ugos.JIProlog.engine

Uses of JIPClause in com.ugos.JIProlog.engine

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

abstract JIPClause	JIPClausesEnumeration.nextClause() Gets the next clause in this enumeration.
static JIPClause	JIPClause.create(JIPFunctor head, JIPCons body) Creates a new JIPClause object
static JIPClause	JIPClause.create(JIPTerm term) Creates a new JIPClause object starting from e JIPTerm object

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

abstract boolean	JIPClausesDatabase.addClauseAt(int nPos, JIPClause clause) Adds a clause to the database at the position specified Note that some databases may not allow to add a clause at a given position.
abstract boolean	JIPClausesDatabase.addClause(JIPClause clause) Appends a clause to the database Note that some databases may not allow to append a clause.
abstract boolean	JIPClausesDatabase.removeClause(JIPClause clause) Removes a clause from the database Note that some databases may not allow to remove a clause.