Package ubc.cs.JLog.Terms

Interface Summary
iConsultable iConsultable is the interface for classes that may need to access the knowledge base before any proof attempts are made.
iList  
iMakeUnmake Interface for objects that are not standard prolog terms, but efficient or different representations of these terms.
iName This is the base interface for classes which have a name.
iNameArity This is the base interface for classes which have arity (such as predicates).
iObjectToTerm This is the interface for objects which take a Java object an return a corresponding jTerm.
iTerm This is the fundamental interface for Prolog terms.
iTermToObject This is the interface for objects which take a jTerm and return a corresponding Java object.
iValue This interface defines classes that return their evaluated values as a jTerm.
jDCG.iPredicateUpdate  
 

Class Summary
iPredicate This is the abstract base class for Prolog predicates.
jAtom  
jBinaryBuiltinPredicate  
jBuiltinPredicate This is the abstract base for builtin predicates.
jBuiltinRule This class is a type stub that permits differentiating between user and builtin rules.
jClause  
jCommand  
jCompoundTerm This class represents a collection of terms.
jConjunctTerm  
jCons  
jDCG  
jFail  
jIf  
jInteger  
jList  
jListPair  
jNaryBuiltinPredicate  
jNullList  
jObject This is the term used to reference Java objects.
jOr  
jOrPredicate  
jPredefined Abstract class for creating any non-builtin predefined predicates needed by the jKnowledgeBase and registering any operator and predicate entries with their corresponding registries for use by the parser.
jPredefinedTerms Registers the core operator and predicate entries with their corresponding registries for use by the parser.
jPredicate This is the base class for Prolog predicates.
jPredicateTerms This class represents a collection of predicates.
jQuadaryBuiltinPredicate  
jReal  
jTerm This is the abstract base class for Prolog terms.
jTermTranslation This class aggregates iObjectToTerm and iTermToObject converters into a single conversion class which chooses the correct converter object for the for desired conversion.
jTrinaryBuiltinPredicate  
jTrue  
jUnaryBuiltinPredicate  
jUnify  
jVariable This is the class for Prolog variables.
 

Exception Summary
InvalidClauseException  
InvalidDCGFormException  
InvalidPredicateNameException  
PredicateExpectedException  
TranslationFailureException  
UnimplementedPredicateProveMethodException  
UnknownPredicateException