- Abs
- AbstractArithmeticOperator
- AbstractBinaryArithmeticOperator
- AbstractBinaryIntegerArithmeticOperator
- AbstractCollectionOf
- AbstractCollectionOf.Key
- AbstractNumericComparisonPredicate
- AbstractPredicateFactory
- AbstractSingleResultPredicate
- AbstractUnaryArithmeticOperator
- Add
- AddArithmeticOperator
- AddExpressionFactory
- AddPredicateFactory
- AddUserDefinedArithmeticOperator
- AddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator
- AlterSpyPoint
- Append
- Append.AppendPredicate
- AppendListOfLists
- Arg
- ArithmeticOperator
- ArithmeticOperators
- Assert
- Atom
- AtomConcat
- AtomConcat.Retryable
- AtomicListConcat
- BagOf
- BagOf.BagOfPredicate
- BagOf.PreprocessedBagOf
- Between
- Between.Retryable
- BitwiseAnd
- BitwiseOr
- BitwiseXor
- BooleanConstraintPredicate
- Call
- CharacterParser
- CharType
- CharType.State
- CharType.Type
- ClauseAction
- ClauseActionFactory
- ClauseActionFactory.AlwaysMatchedFact
- ClauseActionFactory.ImmutableConsequentRule
- ClauseActionFactory.ImmutableFact
- ClauseActionFactory.MutableFact
- ClauseActionFactory.MutableRule
- ClauseActionFactory.VariableAntecedantClauseAction
- ClauseActionFactory.ZeroArgConsequentRule
- ClauseModel
- Clauses
- Close
- ClpVariable
- CommonExpression
- Compare
- Conjunction
- Conjunction.ConjunctionPredicate
- Conjunction.OptimisedRetryableConjuction
- Conjunction.OptimisedSingletonConjuction
- ConstraintFactory
- Consult
- ConsultList
- ConvertTime
- CopyTerm
- CoreConstraintStore
- CurrentInput
- CurrentOutput
- CurrentPredicate
- CurrentPredicate.Retryable
- Cut
- Cut.CutPredicate
- CutException
- Debugging
- DecimalFraction
- DefiniteClauseGrammerConvertor
- Delete
- Delimiters
- Disjunction
- Disjunction.OptimisedIfThenElse
- Distinct
- Divide
- Dynamic
- DynamicUserDefinedPredicateFactory
- DynamicUserDefinedPredicateFactory.ClauseActionIterator
- DynamicUserDefinedPredicateFactory.ClauseActionMetaData
- EmptyList
- EnsureLoaded
- Equal
- Erase
- ExpressionFactories
- ExpressionFactory
- ExtremumList
- Fail
- FileHandles
- FindAll
- FindAll.PreprocessedFindAll
- Flag
- Flatten
- Fold
- Fold.OptimisedFold
- Fold.Retryable
- Functor
- GetChar
- GetCode
- GetTime
- IfThen
- IfThen.OptimisedIfThen
- In
- Index
- Indexes
- InsertRecord
- Inspect
- IntegerDivide
- IntegerNumber
- IntegerNumberCache
- InterpretedTailRecursivePredicate
- InterpretedTailRecursivePredicateFactory
- InterpretedUserDefinedPredicate
- Is
- Is.PreprocessedIs
- Is.Unify
- IsAtom
- IsAtomic
- IsCompound
- IsFloat
- IsInteger
- IsList
- IsNonVar
- IsNumber
- IsVar
- KeyFactories
- KeyFactories.Key2
- KeyFactories.Key3
- KeyFactories.KeyFactory
- KeyFactories.KeyFactory1
- KeyFactories.KeyFactory2
- KeyFactories.KeyFactory3
- KeySort
- KnowledgeBase
- KnowledgeBaseConsumer
- KnowledgeBaseServiceLocator
- KnowledgeBaseUtils
- Last
- Last.LastPredicate
- Length
- Length.Retryable
- Limit
- Limit.LimitPredicate
- Limit.OptimisedLimit
- List
- ListFactory
- Listing
- ListUtils
- LoggingProjogListener
- MapList
- MapList.PreprocessedMapList
- MapList.Retryable
- Max
- Member
- MemberCheck
- MemberCheck.PreprocessedMemberCheck
- Min
- Minus
- Modulo
- Multiply
- NeverSucceedsPredicateFactory
- NewLine
- NoDebug
- Not
- Not.OptimisedNot
- NoTrace
- NotStrictEquality
- NotUnifiable
- Nth
- NumberVars
- Numeric
- NumericConstraintPredicate
- NumericEquality
- NumericGreaterThan
- NumericGreaterThanOrEqual
- NumericInequality
- NumericLessThan
- NumericLessThanOrEqual
- NumericTermComparator
- Once
- Once.OptimisedOnce
- Op
- Open
- Operands
- Operands.Associativity
- Operands.Location
- Operands.Operand
- PairsElements
- ParserException
- PartialApplicationUtils
- Power
- Predicate
- PredicateFactory
- PredicateKey
- Predicates
- PredicateUtils
- PredSort
- PredSort.PredSortComparator
- PredSort.PreprocessedPredSort
- PreprocessableArithmeticOperator
- PreprocessablePredicateFactory
- Projog
- ProjogConsole
- ProjogDefaultProperties
- ProjogException
- ProjogListener
- ProjogListeners
- ProjogProperties
- ProjogSourceReader
- ProjogStackTraceElement
- PutChar
- QueryPlan
- QueryResult
- QueryStatement
- Random
- Read
- Record
- Recorded
- Recorded.RecordedPredicate
- RecordedDatabase
- RecordedDatabase.Chain
- RecordedDatabase.ChainIterator
- RecordedDatabase.Link
- Remainder
- RepeatInfinitely
- RepeatInfinitely.RepeatInfinitelyPredicate
- RepeatSetAmount
- RepeatSetAmount.RepeatSetAmountPredicate
- Resolve
- Resolve.ClpResolvePredicate
- RetractAll
- Reverse
- Reverse.ReversePredicate
- Round
- See
- Seen
- Select
- Select.SelectPredicate
- SentenceParser
- SetInput
- SetOf
- SetOf.PreprocessedSetOf
- SetOf.SetOfPredicate
- SetOutput
- ShiftLeft
- ShiftRight
- SingleNonRetryableRulePredicateFactory
- SingleRetryableRulePredicateFactory
- SingleRetryableRulePredicateFactory.RetryableRulePredicate
- Sort
- SortAsSet
- SpyPoints
- StaticUserDefinedPredicateFactory
- StaticUserDefinedPredicateFactory.ActionIterator
- StaticUserDefinedPredicateFactory.ImplicationsIterator
- StrictEquality
- Structure
- SubList
- SubList.PreprocessedSubList
- Subset
- Subtract
- SubtractFromList
- SucceedsNeverPredicate
- SucceedsOncePredicate
- Tab
- TailRecursivePredicate
- TailRecursivePredicateMetaData
- Tell
- Term
- TermComparator
- TermFormatter
- TermGreaterThan
- TermGreaterThanOrEqual
- TermIdentitySet
- TermLessThan
- TermLessThanOrEqual
- TermSplit
- TermType
- TermUtils
- Token
- TokenParser
- TokenType
- Told
- Trace
- True
- UnifyWithOccursCheck
- Univ
- UnknownPredicate
- UserDefinedPredicateFactory
- Variable
- Write
- WriteCanonical
- Writef
- Writef.Formatter