Uses of Class
org.projog.core.predicate.PredicateKey
Packages that use PredicateKey
Package
Description
Provides a programming interface for Java applications to interact with Projog.
Provides a mechanism for objects to notify and be notified of events.
Provides classes for constructing
Term objects from Prolog syntax.Predicates for classifying terms.
Predicates to support constraint logic programming.
Predicates to support working with the recorded database.
Predicates to aid the debugging of Prolog programs.
Predicates for inspecting, adding and retracting clauses.
Provides functionality to evaluate user defined predicates defined using Prolog syntax.
Provides entry points for accessing the core functionality of Projog.
-
Uses of PredicateKey in org.projog.api
Fields in org.projog.api declared as PredicateKeyMethods in org.projog.api that return PredicateKeyModifier and TypeMethodDescriptionProjogStackTraceElement.getPredicateKey()Represents the user defined predicate this stack trace element was generated for.Methods in org.projog.api with parameters of type PredicateKeyModifier and TypeMethodDescriptionvoidProjog.addArithmeticOperator(PredicateKey key, ArithmeticOperator operator) voidProjog.addPredicateFactory(PredicateKey key, PredicateFactory predicateFactory) Constructors in org.projog.api with parameters of type PredicateKeyModifierConstructorDescription(package private)ProjogStackTraceElement(PredicateKey key, Term term) -
Uses of PredicateKey in org.projog.core.event
Fields in org.projog.core.event declared as PredicateKeyModifier and TypeFieldDescriptionprivate final PredicateKeySpyPoints.SpyPoint.keyprivate final PredicateKeySpyPoints.SpyPointEvent.keyFields in org.projog.core.event with type parameters of type PredicateKeyModifier and TypeFieldDescriptionprivate final Map<PredicateKey, SpyPoints.SpyPoint> SpyPoints.spyPointsMethods in org.projog.core.event that return PredicateKeyModifier and TypeMethodDescriptionSpyPoints.SpyPoint.getPredicateKey()SpyPoints.SpyPointEvent.getPredicateKey()Methods in org.projog.core.event that return types with arguments of type PredicateKeyMethods in org.projog.core.event with parameters of type PredicateKeyModifier and TypeMethodDescriptionprivate SpyPoints.SpyPointSpyPoints.createNewSpyPoint(PredicateKey key) SpyPoints.getSpyPoint(PredicateKey key) voidSpyPoints.setSpyPoint(PredicateKey key, boolean set) Constructors in org.projog.core.event with parameters of type PredicateKeyModifierConstructorDescriptionprivateSpyPoint(PredicateKey key) privateSpyPointEvent(PredicateKey key, Term[] args, Object source) privateSpyPointExitEvent(PredicateKey key, Term[] args, Object source, ClauseModel clauseModel) -
Uses of PredicateKey in org.projog.core.kb
Fields in org.projog.core.kb declared as PredicateKeyModifier and TypeFieldDescriptionprivate static final PredicateKeyKnowledgeBase.ADD_PREDICATE_KEYRepresents thepj_add_predicate/2predicate hard-coded in everyKnowledgeBase.Methods in org.projog.core.kb that return types with arguments of type PredicateKeyModifier and TypeMethodDescriptionstatic List<PredicateKey> KnowledgeBaseUtils.getPredicateKeysByName(KnowledgeBase kb, String predicateName) Returns list of all user defined predicates with the specified name. -
Uses of PredicateKey in org.projog.core.math
Fields in org.projog.core.math with type parameters of type PredicateKeyModifier and TypeFieldDescriptionprivate final Map<PredicateKey, String> ArithmeticOperators.operatorClassNamesprivate final Map<PredicateKey, ArithmeticOperator> ArithmeticOperators.operatorInstancesMethods in org.projog.core.math with parameters of type PredicateKeyModifier and TypeMethodDescriptionvoidArithmeticOperators.addArithmeticOperator(PredicateKey key, String operatorClassName) Associates aArithmeticOperatorwith thisKnowledgeBase.voidArithmeticOperators.addArithmeticOperator(PredicateKey key, ArithmeticOperator operator) Associates aArithmeticOperatorwith thisKnowledgeBase.ArithmeticOperators.getArithmeticOperator(PredicateKey key) private ArithmeticOperatorArithmeticOperators.getPreprocessedArithmeticOperator(PredicateKey key, Term argument) private ArithmeticOperatorArithmeticOperators.instantiateArithmeticOperator(PredicateKey key) -
Uses of PredicateKey in org.projog.core.parser
Fields in org.projog.core.parser with type parameters of type PredicateKeyModifier and TypeFieldDescriptionprivate final Map<PredicateKey, UserDefinedPredicateFactory> ProjogSourceReader.userDefinedPredicates -
Uses of PredicateKey in org.projog.core.predicate
Classes in org.projog.core.predicate that implement interfaces with type arguments of type PredicateKeyFields in org.projog.core.predicate declared as PredicateKeyFields in org.projog.core.predicate with type parameters of type PredicateKeyModifier and TypeFieldDescriptionprivate final Map<PredicateKey, String> Predicates.javaPredicateClassNamesThe class names of "built-in" Java predicates (i.e.private final Map<PredicateKey, PredicateFactory> Predicates.javaPredicateInstancesThe instances of "built-in" Java predicates (i.e.private final Map<PredicateKey, UserDefinedPredicateFactory> Predicates.userDefinedPredicatesThe user-defined predicates (i.e.Methods in org.projog.core.predicate that return PredicateKeyModifier and TypeMethodDescriptionstatic PredicateKeyPredicateKey.createForTerm(Term t) Returns aPredicateKeyfor the specified term.static PredicateKeyPredicateKey.createFromNameAndArity(Term t) Methods in org.projog.core.predicate that return types with arguments of type PredicateKeyModifier and TypeMethodDescriptionPredicates.getAllDefinedPredicateKeys()Returns details of all predicates, both user-defined and built-in predicates.Predicates.getUserDefinedPredicates()Returns details of all the user define predicates of this object.Methods in org.projog.core.predicate with parameters of type PredicateKeyModifier and TypeMethodDescriptionvoidPredicates.addPredicateFactory(PredicateKey key, String predicateFactoryClassName) Associates aPredicateFactorywith thisKnowledgeBase.voidPredicates.addPredicateFactory(PredicateKey key, PredicateFactory predicateFactory) Associates aPredicateFactorywith thisKnowledgeBase.intPredicateKey.compareTo(PredicateKey o) Ordered on name or, if names identical, number of arguments.Predicates.createOrReturnUserDefinedPredicate(PredicateKey key) Returns theUserDefinedPredicateFactoryfor the specifiedPredicateKey.private PredicateFactoryPredicates.getExistingPredicateFactory(PredicateKey key) Predicates.getPredicateFactory(PredicateKey key) Returns thePredicateFactoryassociated with the specifiedPredicateKey.private PredicateFactoryPredicates.instantiatePredicateFactory(PredicateKey key) private booleanPredicates.isExistingJavaPredicate(PredicateKey key) private booleanPredicates.isExistingPredicate(PredicateKey key) private booleanPredicates.isExistingUserDefinedPredicate(PredicateKey key) private PredicateFactoryPredicates.unknownPredicate(PredicateKey key) private voidPredicates.updateExistingPredicate(PredicateKey key, UserDefinedPredicateFactory userDefinedPredicate) Constructors in org.projog.core.predicate with parameters of type PredicateKey -
Uses of PredicateKey in org.projog.core.predicate.builtin.classify
Fields in org.projog.core.predicate.builtin.classify with type parameters of type PredicateKeyModifier and TypeFieldDescriptionprivate static final Map<PredicateKey, CharType.Type> CharType.CHARACTER_TYPES_MAP -
Uses of PredicateKey in org.projog.core.predicate.builtin.clp
Fields in org.projog.core.predicate.builtin.clp with type parameters of type PredicateKeyModifier and TypeFieldDescriptionprivate final Map<PredicateKey, String> ExpressionFactories.factoryClassNamesprivate final Map<PredicateKey, ExpressionFactory> ExpressionFactories.factoryInstancesMethods in org.projog.core.predicate.builtin.clp with parameters of type PredicateKeyModifier and TypeMethodDescriptionvoidExpressionFactories.addExpressionFactory(PredicateKey key, String operatorClassName) Associates aExpressionFactorywith thisKnowledgeBase.private ExpressionFactoryExpressionFactories.getExpressionFactory(PredicateKey key) private ExpressionFactoryExpressionFactories.instantiateExpressionFactory(PredicateKey key) -
Uses of PredicateKey in org.projog.core.predicate.builtin.db
Fields in org.projog.core.predicate.builtin.db declared as PredicateKeyModifier and TypeFieldDescriptionprivate final PredicateKeyRecord.key(package private) final PredicateKeyRecordedDatabase.Chain.keyFields in org.projog.core.predicate.builtin.db with type parameters of type PredicateKeyModifier and TypeFieldDescriptionprivate final SortedMap<PredicateKey, RecordedDatabase.Chain> RecordedDatabase.chainsprivate final List<PredicateKey> RecordedDatabase.keysMethods in org.projog.core.predicate.builtin.db with parameters of type PredicateKeyModifier and TypeMethodDescription(package private) IntegerNumberRecordedDatabase.add(PredicateKey key, Term value, boolean addLast) Associates a value with a key.private RecordedDatabase.ChainRecordedDatabase.createChain(PredicateKey key) RecordedDatabase.getChain(PredicateKey key) private RecordedDatabase.ChainRecordedDatabase.getOrCreateChain(PredicateKey key) Constructors in org.projog.core.predicate.builtin.db with parameters of type PredicateKeyModifierConstructorDescription(package private)Chain(PredicateKey key) (package private)Record(PredicateKey key, IntegerNumber reference, Term value) -
Uses of PredicateKey in org.projog.core.predicate.builtin.debug
Methods in org.projog.core.predicate.builtin.debug with parameters of type PredicateKeyMethod parameters in org.projog.core.predicate.builtin.debug with type arguments of type PredicateKeyModifier and TypeMethodDescriptionprivate voidAlterSpyPoint.setSpyPoints(List<PredicateKey> keys) -
Uses of PredicateKey in org.projog.core.predicate.builtin.kb
Fields in org.projog.core.predicate.builtin.kb declared as PredicateKeyModifier and TypeFieldDescription(package private) final PredicateKeyAddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator.keyFields in org.projog.core.predicate.builtin.kb with type parameters of type PredicateKeyModifier and TypeFieldDescriptionprivate final Map<PredicateKey, Numeric> Flag.flagsprivate final Iterator<PredicateKey> CurrentPredicate.Retryable.iteratorMethods in org.projog.core.predicate.builtin.kb with parameters of type PredicateKeyModifier and TypeMethodDescriptionprivate Iterator<ClauseModel> Listing.getClauses(PredicateKey key) private NumericFlag.getOrCreate(PredicateKey pk) private voidListing.listClauses(PredicateKey key) private voidFlag.put(PredicateKey pk, Term value) Constructors in org.projog.core.predicate.builtin.kb with parameters of type PredicateKeyModifierConstructorDescription(package private)UserDefinedArithmeticOperator(Predicates p, PredicateKey originalKey) Constructor parameters in org.projog.core.predicate.builtin.kb with type arguments of type PredicateKey -
Uses of PredicateKey in org.projog.core.predicate.udp
Fields in org.projog.core.predicate.udp declared as PredicateKeyModifier and TypeFieldDescriptionprivate final PredicateKeyStaticUserDefinedPredicateFactory.predicateKeyMethods in org.projog.core.predicate.udp that return PredicateKeyModifier and TypeMethodDescriptionClauseModel.getPredicateKey()DynamicUserDefinedPredicateFactory.getPredicateKey()StaticUserDefinedPredicateFactory.getPredicateKey()UserDefinedPredicateFactory.getPredicateKey()Returns the key for the predicate this object representsConstructors in org.projog.core.predicate.udp with parameters of type PredicateKeyModifierConstructorDescriptionDynamicUserDefinedPredicateFactory(KnowledgeBase kb, PredicateKey predicateKey) StaticUserDefinedPredicateFactory(KnowledgeBase kb, PredicateKey predicateKey) -
Uses of PredicateKey in org.projog.tools
Fields in org.projog.tools declared as PredicateKeyModifier and TypeFieldDescriptionprivate static final PredicateKeyProjogConsole.QUIT_COMMANDCommand user can enter to exit the console application.