Uses of Class
org.projog.core.predicate.udp.ClauseModel

Packages that use ClauseModel

Package	Description
org.projog.api	Provides a programming interface for Java applications to interact with Projog.
org.projog.core	Provides a Java based implementation of the Prolog logic programming language.
org.projog.core.event	Provides a mechanism for objects to notify and be notified of events.
org.projog.core.predicate.builtin.kb	Predicates for inspecting, adding and retracting clauses.
org.projog.core.predicate.udp	Provides functionality to evaluate user defined predicates defined using Prolog syntax.

Uses of ClauseModel in org.projog.api

Methods in org.projog.api that return types with arguments of type ClauseModel

Modifier and Type	Method	Description
private java.util.List<ClauseModel>	Projog.getClauses(java.lang.Throwable e)

Uses of ClauseModel in org.projog.core

Fields in org.projog.core with type parameters of type ClauseModel

Modifier and Type	Field	Description
private java.util.List<ClauseModel>	ProjogException.stackTrace

Methods in org.projog.core that return types with arguments of type ClauseModel

Modifier and Type	Method	Description
java.util.List<ClauseModel>	ProjogException.getClauses()

Methods in org.projog.core with parameters of type ClauseModel

Modifier and Type	Method	Description
void	ProjogException.addClause(ClauseModel clause)

Uses of ClauseModel in org.projog.core.event

Fields in org.projog.core.event declared as ClauseModel

Modifier and Type	Field	Description
private ClauseModel	SpyPoints.SpyPointExitEvent.clauseModel

Methods in org.projog.core.event that return ClauseModel

Modifier and Type	Method	Description
ClauseModel	SpyPoints.SpyPointExitEvent.getClauseModel()

Methods in org.projog.core.event with parameters of type ClauseModel

Modifier and Type	Method	Description
void	SpyPoints.SpyPoint.logExit(java.lang.Object source, Term[] args, ClauseModel clause)	Notifies listeners of that an attempt to evaluate a goal has succeeded.

Constructors in org.projog.core.event with parameters of type ClauseModel

Constructor	Description
SpyPointExitEvent(PredicateKey key, Term[] args, java.lang.Object source, ClauseModel clauseModel)

Uses of ClauseModel in org.projog.core.predicate.builtin.kb

Fields in org.projog.core.predicate.builtin.kb with type parameters of type ClauseModel

Modifier and Type	Field	Description
private java.util.Iterator<ClauseModel>	Inspect.InspectPredicate.implications

Methods in org.projog.core.predicate.builtin.kb that return types with arguments of type ClauseModel

Modifier and Type	Method	Description
private java.util.Iterator<ClauseModel>	Listing.getClauses(PredicateKey key)

Methods in org.projog.core.predicate.builtin.kb with parameters of type ClauseModel

Modifier and Type	Method	Description
private void	Assert.add(UserDefinedPredicateFactory userDefinedPredicate, ClauseModel clauseModel)
private void	Listing.listClause(ClauseModel clauseModel)
private boolean	Inspect.InspectPredicate.unifiable(Term clauseHead, Term clauseBody, ClauseModel clauseModel)

Constructor parameters in org.projog.core.predicate.builtin.kb with type arguments of type ClauseModel

Constructor	Description
InspectPredicate(Term clauseHead, Term clauseBody, java.util.Iterator<ClauseModel> implications)

Uses of ClauseModel in org.projog.core.predicate.udp

Fields in org.projog.core.predicate.udp declared as ClauseModel

Modifier and Type	Field	Description
private ClauseModel	TailRecursivePredicateMetaData.firstClause
private ClauseModel	ClauseActionFactory.AlwaysMatchedFact.model
private ClauseModel	ClauseActionFactory.ImmutableConsequentRule.model
private ClauseModel	ClauseActionFactory.ImmutableFact.model
private ClauseModel	ClauseActionFactory.MutableFact.model
private ClauseModel	ClauseActionFactory.MutableRule.model
private ClauseModel	ClauseActionFactory.VariableAntecedantClauseAction.model
private ClauseModel	ClauseActionFactory.ZeroArgConsequentRule.model
private ClauseModel	TailRecursivePredicateMetaData.secondClause

Fields in org.projog.core.predicate.udp with type parameters of type ClauseModel

Modifier and Type	Field	Description
private java.util.List<ClauseModel>	StaticUserDefinedPredicateFactory.implications
private java.util.Iterator<ClauseModel>	StaticUserDefinedPredicateFactory.ImplicationsIterator.iterator

Methods in org.projog.core.predicate.udp that return ClauseModel

Modifier and Type	Method	Description
ClauseModel	ClauseModel.copy()
static ClauseModel	ClauseModel.createClauseModel(Term original)
ClauseModel	DynamicUserDefinedPredicateFactory.getClauseModel(int index)
ClauseModel	StaticUserDefinedPredicateFactory.getClauseModel(int index)
ClauseModel	UserDefinedPredicateFactory.getClauseModel(int index)	Returns the clause at the specified position in this predicate's list of clauses.
ClauseModel	TailRecursivePredicateMetaData.getFirstClause()
ClauseModel	ClauseAction.getModel()
ClauseModel	ClauseActionFactory.AlwaysMatchedFact.getModel()
ClauseModel	ClauseActionFactory.ImmutableConsequentRule.getModel()
ClauseModel	ClauseActionFactory.ImmutableFact.getModel()
ClauseModel	ClauseActionFactory.MutableFact.getModel()
ClauseModel	ClauseActionFactory.MutableRule.getModel()
ClauseModel	ClauseActionFactory.VariableAntecedantClauseAction.getModel()
ClauseModel	ClauseActionFactory.ZeroArgConsequentRule.getModel()
ClauseModel	TailRecursivePredicateMetaData.getSecondClause()
ClauseModel	DynamicUserDefinedPredicateFactory.ImplicationsIterator.next()	Returns a new copy to avoid the original being altered.
ClauseModel	StaticUserDefinedPredicateFactory.ImplicationsIterator.next()	Returns a new copy to avoid the original being altered.

Methods in org.projog.core.predicate.udp that return types with arguments of type ClauseModel

Modifier and Type	Method	Description
private java.util.List<ClauseModel>	StaticUserDefinedPredicateFactory.getCopyOfImplications()
java.util.Iterator<ClauseModel>	DynamicUserDefinedPredicateFactory.getImplications()	Returns an iterator over the clauses of this user defined predicate.
java.util.Iterator<ClauseModel>	StaticUserDefinedPredicateFactory.getImplications()	Returns an iterator over the clauses of this user defined predicate.
java.util.Iterator<ClauseModel>	UserDefinedPredicateFactory.getImplications()	Returns an iterator over the clauses in the predicate in proper sequence.

Methods in org.projog.core.predicate.udp with parameters of type ClauseModel

Modifier and Type	Method	Description
void	DynamicUserDefinedPredicateFactory.addFirst(ClauseModel clauseModel)
void	StaticUserDefinedPredicateFactory.addFirst(ClauseModel clauseModel)	Not supported.
void	UserDefinedPredicateFactory.addFirst(ClauseModel clauseModel)	Adds a clause to the beginning of the predicate's list of clauses.
void	DynamicUserDefinedPredicateFactory.addLast(ClauseModel clauseModel)
void	StaticUserDefinedPredicateFactory.addLast(ClauseModel clauseModel)	Adds new clause to list of clauses for this predicate.
void	UserDefinedPredicateFactory.addLast(ClauseModel clauseModel)	Adds a clause to the end of the predicate's list of clauses.
private void	DynamicUserDefinedPredicateFactory.addToIndex(ClauseModel clauseModel, DynamicUserDefinedPredicateFactory.ClauseActionMetaData metaData)
(package private) static ClauseAction	ClauseActionFactory.createClauseAction(KnowledgeBase kb, ClauseModel model)	Returns a new ClauseAction based on the specified ClauseModel.
private DynamicUserDefinedPredicateFactory.ClauseActionMetaData	DynamicUserDefinedPredicateFactory.createClauseActionMetaData(ClauseModel clauseModel)
private static boolean	TailRecursivePredicateMetaData.isAntecedentRecursive(KnowledgeBase kb, ClauseModel secondTerm)

Method parameters in org.projog.core.predicate.udp with type arguments of type ClauseModel

Modifier and Type	Method	Description
static TailRecursivePredicateMetaData	TailRecursivePredicateMetaData.create(KnowledgeBase kb, java.util.List<ClauseModel> clauses)	Returns a new TailRecursivePredicateMetaData representing the user defined predicate defined by the specified clauses or null if the predicate is not tail recursive.
(package private) static Clauses	Clauses.createFromModels(KnowledgeBase kb, java.util.List<ClauseModel> models)
private PredicateFactory	StaticUserDefinedPredicateFactory.createInterpretedPredicateFactoryFromClauseActions(Clauses clauses, java.util.List<ClauseModel> clauseModels)
private static boolean	TailRecursivePredicateMetaData.isTailRecursive(KnowledgeBase kb, java.util.List<ClauseModel> terms)

Constructors in org.projog.core.predicate.udp with parameters of type ClauseModel

Constructor	Description
AlwaysMatchedFact(ClauseModel model)
ClauseActionMetaData(KnowledgeBase kb, ClauseModel clauseModel)
ImmutableConsequentRule(ClauseModel model, PredicateFactory pf)
ImmutableFact(ClauseModel model)
MutableFact(ClauseModel model)
MutableRule(ClauseModel model, PredicateFactory pf)
VariableAntecedantClauseAction(ClauseModel model, KnowledgeBase kb)
ZeroArgConsequentRule(ClauseModel model, PredicateFactory pf)

Constructor parameters in org.projog.core.predicate.udp with type arguments of type ClauseModel

Constructor	Description
ImplicationsIterator(java.util.List<ClauseModel> implications)
TailRecursivePredicateMetaData(java.util.List<ClauseModel> clauses)