Uses of Class
org.projog.core.predicate.udp.ClauseModel
Packages that use ClauseModel
Package
Description
Provides a Java based implementation of the Prolog logic programming language.
Provides a mechanism for objects to notify and be notified of events.
Provides functionality to evaluate user defined predicates defined using Prolog syntax.
-
Uses of ClauseModel in org.projog.core
Methods in org.projog.core that return types with arguments of type ClauseModelMethods in org.projog.core with parameters of type ClauseModel -
Uses of ClauseModel in org.projog.core.event
Methods in org.projog.core.event that return ClauseModelMethods in org.projog.core.event with parameters of type ClauseModelModifier and TypeMethodDescriptionvoidSpyPoints.SpyPoint.logExit(Object source, Term term, ClauseModel clause) Notifies listeners of that an attempt to evaluate a goal has succeeded. -
Uses of ClauseModel in org.projog.core.predicate.udp
Methods in org.projog.core.predicate.udp that return ClauseModelModifier and TypeMethodDescriptionClauseModel.copy()static ClauseModelClauseModel.createClauseModel(Term original) DynamicUserDefinedPredicateFactory.getClauseModel(int index) StaticUserDefinedPredicateFactory.getClauseModel(int index) TabledUserDefinedPredicateFactory.getClauseModel(int index) UserDefinedPredicateFactory.getClauseModel(int index) Returns the clause at the specified position in this predicate's list of clauses.TailRecursivePredicateMetaData.getFirstClause()ClauseAction.getModel()TailRecursivePredicateMetaData.getSecondClause()Methods in org.projog.core.predicate.udp that return types with arguments of type ClauseModelModifier and TypeMethodDescriptionDynamicUserDefinedPredicateFactory.getImplications()Returns an iterator over the clauses of this user defined predicate.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 ClauseModelModifier and TypeMethodDescriptionvoidDynamicUserDefinedPredicateFactory.addFirst(ClauseModel clauseModel) voidStaticUserDefinedPredicateFactory.addFirst(ClauseModel clauseModel) Not supported.voidTabledUserDefinedPredicateFactory.addFirst(ClauseModel clauseModel) voidUserDefinedPredicateFactory.addFirst(ClauseModel clauseModel) Adds a clause to the beginning of the predicate's list of clauses.voidDynamicUserDefinedPredicateFactory.addLast(ClauseModel clauseModel) voidStaticUserDefinedPredicateFactory.addLast(ClauseModel clauseModel) Adds new clause to list of clauses for this predicate.voidTabledUserDefinedPredicateFactory.addLast(ClauseModel clauseModel) voidUserDefinedPredicateFactory.addLast(ClauseModel clauseModel) Adds a clause to the end of the predicate's list of clauses.Method parameters in org.projog.core.predicate.udp with type arguments of type ClauseModelModifier and TypeMethodDescriptionTailRecursivePredicateMetaData.create(KnowledgeBase kb, List<ClauseModel> clauses) Returns a newTailRecursivePredicateMetaDatarepresenting the user defined predicate defined by the specified clauses ornullif the predicate is not tail recursive.