All Classes

Class	Description
Abs	abs - returns the absolute value of a numeric argument.
AbstractArithmeticOperator
AbstractBinaryArithmeticOperator	A template for ArithmeticOperators that accept two arguments.
AbstractBinaryIntegerArithmeticOperator	A template for ArithmeticOperators that accept two arguments of type TermType.INTEGER.
AbstractCollectionOf
AbstractCollectionOf.Key	Represents a combination of possible values for the variables contained in the goal.
AbstractNumericComparisonPredicate
AbstractPredicateFactory
AbstractSingleResultPredicate	Superclass of "plug-in" predicates that are not re-evaluated as part of backtracking.
AbstractUnaryArithmeticOperator	A template for ArithmeticOperators that accept exactly one argument.
Add	+ - performs addition.
AddArithmeticOperator	pj_add_arithmetic_operator(X,Y) - defines a Java class as an arithmetic operator.
AddExpressionFactory	pj_add_clp_expression(X,Y) - defines a Java class as an CLP expression.
AddPredicateFactory	pj_add_predicate(X,Y) - defines a Java class as a built-in predicate.
AddUserDefinedArithmeticOperator	arithmetic_function(X) - defines a predicate as an arithmetic function.
AddUserDefinedArithmeticOperator.UserDefinedArithmeticOperator
AlterSpyPoint	spy(X) / nospy(X) - add or remove a spy point for a predicate.
Append	append(X,Y,Z) - concatenates two lists.
Append.AppendPredicate
AppendListOfLists	append(ListOfLists, List) - concatenates a list of lists.
Arg	arg(N,T,A) - allows access to an argument of a structure.
ArithmeticOperator	Represents a function that returns a single numerical value.
ArithmeticOperators	Maintains a collection of ArithmeticOperator instances.
Assert	asserta(X) / assertz(X) - adds a clause to the knowledge base.
Atom	Represents a specific object or relationship.
AtomConcat	atom_concat(X, Y, Z) - concatenates atom names.
AtomConcat.Retryable
AtomicListConcat	atomic_list_concat(List,Separator,Atom) / atomic_list_concat(List,Atom)
BagOf	bagof(X,P,L) - find all solutions that satisfy the goal.
BagOf.BagOfPredicate
BagOf.PreprocessedBagOf
Between	between(X,Y,Z) - checks if a number is within a specified range.
Between.Retryable
BitwiseAnd	/\ - performs bitwise addition.
BitwiseOr	\/ - bitwise 'or'.
BitwiseXor	xor - bitwise 'exclusive or'.
BooleanConstraintPredicate	CLP predicates for comparing boolean values.
Call	call(X) - calls the goal represented by a term.
CharacterParser	Reads characters from a BufferedReader.
CharType	char_type(X,Y) - classifies characters.
CharType.State
CharType.Type
ClauseAction
ClauseActionFactory	Constructs new ClauseAction instances.
ClauseActionFactory.AlwaysMatchedFact	Clause where all consequent args are distinctly different variables and antecedent is true.
ClauseActionFactory.ImmutableConsequentRule	Clause where the consequent args are all immutable and the antecedent is not true.
ClauseActionFactory.ImmutableFact	Clause where the consequent args are all immutable and the antecedent is true.
ClauseActionFactory.MutableFact	Clause where at least one consequent arg is mutable and the antecedent is true.
ClauseActionFactory.MutableRule	Clause where at least one consequent arg is mutable and the antecedent is not true.
ClauseActionFactory.VariableAntecedantClauseAction	Clause where the antecedent is a variable.
ClauseActionFactory.ZeroArgConsequentRule	Clause where the consequent has no args.
ClauseModel	Represents a clause.
Clauses
Close	close(X) - closes a stream.
ClpVariable	A Term that could represent a number of possible numeric values.
CommonExpression
Compare	compare(X,Y,Z) - compares arguments.
Conjunction	X,Y - conjunction.
Conjunction.ConjunctionPredicate
Conjunction.OptimisedRetryableConjuction
Conjunction.OptimisedSingletonConjuction
ConstraintFactory
Consult	consult(X) - reads clauses and goals from a file.
ConsultList	Read clauses and goals from a list of files.
ConvertTime	convert_time(X,Y) - converts a timestamp to a textual representation.
CopyTerm	copy_term(X,Y) - makes a copy of a term.
CoreConstraintStore	An implementation of ConstraintStore for use in Projog.
CurrentInput	current_input(X) - match a term to the current input stream.
CurrentOutput	current_output(X) - match a term to the current output stream.
CurrentPredicate	current_predicate(X) - unifies with defined predicates.
CurrentPredicate.Retryable
Cut	! - the "cut".
Cut.CutPredicate
CutException	Exception thrown when the evaluation of a rule backtracks to a cut.
Debugging	debugging - lists current spy points.
DecimalFraction	Represents a value of the primitive type double as a Term.
DefiniteClauseGrammerConvertor	Provides support for Definite Clause Grammars (DCG).
Delete	delete(X,Y,Z) - remove all occurrences of a term from a list.
Delimiters
Dif	dif(X,Y) - enforces restriction that the two given terms are never equal.
Dif.DifVariableAttribute
Dif.MyMap
Disjunction	X;Y - disjunction.
Disjunction.OptimisedIfThenElse
Distinct	all_different([X,Y,Z]) - enforce that none of the given CLP variables share the same value.
Divide	/ - performs division.
Dynamic	dynamic/1 - indicates that a user defined predicate is dynamic.
DynamicUserDefinedPredicateFactory	Maintains a record of the clauses that represents a "dynamic" user defined predicate.
DynamicUserDefinedPredicateFactory.ClauseActionIterator
DynamicUserDefinedPredicateFactory.ClauseActionMetaData
EmptyList	Represents a data structure with no Terms.
EnsureLoaded	ensure_loaded(X) - reads clauses and goals from a file.
Equal	X=Y - an equality test.
Erase	erase(X) - removes a record from the recorded database.
ExpressionFactories	Maintains a collection of ExpressionFactory instances.
ExpressionFactory
ExtremumList	min_list / max_list
Fail	fail - always fails.
FileHandles	Collection of input and output streams.
FindAll	findall(X,P,L) - find all solutions that satisfy the goal.
FindAll.PreprocessedFindAll
Flag	flag(X,Y,Z) - associates a key with a value.
Flatten	flatten(X,Y) - flattens a nested list.
Fold	foldl(PredicateName, Values, Start, Result) - combines elements of a list into a single term.
Fold.OptimisedFold
Fold.Retryable
Functor	functor(T,F,N)
GetChar	get_char(X) - reads the next character from the input stream.
GetCode	get_code(X) - reads the next character from the input stream.
GetTime	get_time(X) - gets the current system time.
IfThen	X->Y - if X succeeds then Y is evaluated.
IfThen.OptimisedIfThen
In	X in 1..4 / [X,Y,Z] ins 1..4 - restrict CLP variables to a range of values.
Index
Indexes	Supports term indexing of user defined predicates.
InsertRecord	recorda(X,Y,Z) / recordz(X,Y,Z) - associates a term with a key.
Inspect	clause(X,Y) / retract(X) - matches terms to existing clauses.
IntegerDivide	// - performs integer division.
IntegerNumber	Represents a value of the primitive type long as a Term.
IntegerNumberCache
InterpretedTailRecursivePredicate	A implementation of TailRecursivePredicate for interpreted user defined predicates.
InterpretedTailRecursivePredicateFactory	Creates "tail recursion optimised" versions of user defined predicates.
InterpretedUserDefinedPredicate	Represents a user defined predicate.
Is	X is Y - evaluate arithmetic expression.
Is.PreprocessedIs
Is.Unify
IsAtom	atom(X) - checks that a term is an atom.
IsAtomic	atomic(X) - checks that a term is atomic.
IsCompound	compound(X) - checks that a term is a compound term.
IsFloat	float(X) - checks that a term is a floating point number.
IsInteger	integer(X) - checks that a term is an integer.
IsList	is_list(X) - checks that a term is a list.
IsNonVar	nonvar(X) - checks that a term is not an uninstantiated variable.
IsNumber	number(X) - checks that a term is numeric.
IsVar	var(X) - checks that a term is an uninstantiated variable.
KeyFactories
KeyFactories.Key2
KeyFactories.Key3
KeyFactories.KeyFactory
KeyFactories.KeyFactory1
KeyFactories.KeyFactory2
KeyFactories.KeyFactory3
KeySort	keysort(X,Y) - sorts a list of key/value pairs.
KnowledgeBase	The central object that connects the various components of an instance of the "core" inference engine.
KnowledgeBaseConsumer
KnowledgeBaseServiceLocator	Associates arbitrary objects with a KnowledgeBase.
KnowledgeBaseUtils	Helper methods for performing common tasks on KnowledgeBase instances.
Last	last(X,Y) - finds the last element of a list.
Last.LastPredicate
Length	length(X,Y) - determines the length of a list.
Length.Retryable
Limit	limit(N, X) - calls the goal represented by a term a maximum number of times.
Limit.LimitPredicate
Limit.OptimisedLimit
List	Represents a data structure with two Terms - a head and a tail.
ListFactory	Static factory methods for creating new instances of List.
Listing	listing(X) - outputs current clauses.
ListUtils	Helper methods for performing common tasks with Prolog list data structures.
LoggingProjogListener
MapList	maplist(X,Y) / maplist(X,Y,Z) - determines if a goal succeeds against elements of a list.
MapList.PreprocessedMapList
MapList.Retryable
Max	max - finds the maximum of two numbers.
Member	member(E, L) - enumerates members of a list.
MemberCheck	memberchk(E, L) - checks is a term is a member of a list.
MemberCheck.PreprocessedMemberCheck
Min	min - finds the minimum of two numbers.
Minus	- - minus operator.
Modulo	mod - finds the remainder of division of one number by another.
Multiply	* - performs multiplication.
NeverSucceedsPredicateFactory
NewLine	nl - outputs a new line character.
NoDebug	nodebug - removes all current spy points.
Not	\+ X - "not".
Not.OptimisedNot
NoTrace	notrace - disables exhaustive tracing.
NotStrictEquality	X\==Y - a strict equality test.
NotUnifiable	X \= Y - checks whether two terms cannot be unified.
Nth	nth0(X,Y,Z) / nth1(X,Y,Z) - examines an element of a list.
NumberVars	numbervars(Term,Start,End) - unifies free variables of a term.
Numeric	A Term that has a numerical value.
NumericConstraintPredicate	CLP predicates for comparing numeric values.
NumericEquality	X=:=Y - numeric equality test.
NumericGreaterThan	X>Y - numeric "greater than" test.
NumericGreaterThanOrEqual	X>=Y - numeric "greater than or equal" test.
NumericInequality	X=\=Y - numeric inequality test.
NumericLessThan	X<Y - numeric "less than" test.
NumericLessThanOrEqual	X=<Y - numeric "less than or equal" test.
NumericTermComparator	Provides methods for comparing instances of Numeric.
Once	once(X) - calls the goal represented by a term.
Once.OptimisedOnce
Op	op(X,Y,Z)
Open	open(X,Y,Z) - opens a file.
Operands	Collection of operands.
Operands.Associativity	Associativity is used to specify rules over operators in the same expression that have the same priority.
Operands.Location
Operands.Operand
PairsElements	pairs_keys(Pairs,Keys) / pairs_values(Pairs,Values) - get keys or values from list of Key-Value pairs.
ParserException	Signals a failure to successfully parse Prolog syntax.
PartialApplicationUtils
Power	** - calculates the result of the first argument raised to the power of the second argument.
Predicate	Represents a goal.
PredicateFactory	Returns specialised implementations of Predicate.
PredicateKey	Represents the structure of a Term.
Predicates	Acts as a repository of rules and facts.
PredicateUtils
PredSort	predsort(X,Y,Z) - sorts a list using the specified predicate.
PredSort.PredSortComparator
PredSort.PreprocessedPredSort
PreprocessableArithmeticOperator
PreprocessablePredicateFactory
Projog	Provides an entry point for other Java code to interact with Projog.
ProjogConsole	Command line interface to Prolog.
ProjogDefaultProperties	Implementation of ProjogProperties with hard-coded values.
ProjogException	An exception that provides information on an error within the Projog environment.
ProjogListener
ProjogListeners	Controls the registering and notification of listeners of a KnowledgeBase.
ProjogProperties	Collection of configuration properties.
ProjogSourceReader	Populates a KnowledgeBase with clauses parsed from Prolog syntax.
ProjogStackTraceElement	An element in a stack trace, as returned by Projog.getStackTrace(Throwable).
PutChar	put_char(X) - writes a character.
QueryPlan	Represents a plan for executing a Prolog query.
QueryResult	Represents an executing query.
QueryStatement	Represents a query.
Random	random(X) Evaluate to a random integer i for which 0 =< i < X.
Read	read(X) - reads a term from the input stream.
Record	Represents a record stored in a RecordedDatabase.
Recorded	recorded(X,Y,Z) - checks if a term is associated with a key.
Recorded.RecordedPredicate
RecordedDatabase	Provides a mechanism to associate a term with a key.
RecordedDatabase.Chain
RecordedDatabase.ChainIterator
RecordedDatabase.Link
Remainder	rem - finds the remainder of division of one number by another.
RepeatInfinitely	repeat - always succeeds.
RepeatInfinitely.RepeatInfinitelyPredicate
RepeatSetAmount	repeat(N) - succeeds N times.
RepeatSetAmount.RepeatSetAmountPredicate
Resolve	label([X]) - assigns concrete values to the given CLP variables.
Resolve.ClpResolvePredicate
RetractAll	retractall(X) - remove clauses from the knowledge base.
Reverse	reverse(X,Y) - reverses the order of elements in a list.
Reverse.ReversePredicate
Round	integer(X) - round X to the nearest integer value.
See	see(X) - opens a file and sets it as the current input stream.
Seen	seen - closes the current input stream.
Select	select(X,Y,Z) - removes an element from a list.
Select.SelectPredicate
SentenceParser	Parses Prolog syntax representing rules including operators.
SetInput	set_input(X) - sets the current input.
SetOf	setof(X,P,L) - find all solutions that satisfy the goal.
SetOf.PreprocessedSetOf
SetOf.SetOfPredicate
SetOutput	set_output(X) - sets the current output.
ShiftLeft	<< - left shift bits.
ShiftRight	>> - right shift bits.
SingleNonRetryableRulePredicateFactory
SingleRetryableRulePredicateFactory
SingleRetryableRulePredicateFactory.RetryableRulePredicate
Sort	msort(X,Y) - sorts a list.
SortAsSet	sort(X,Y) - sorts a list and removes duplicates.
SpyPoints	Collection of spy points.
StaticUserDefinedPredicateFactory	Maintains a record of the clauses that represents a "static" user defined predicate.
StaticUserDefinedPredicateFactory.ActionIterator
StaticUserDefinedPredicateFactory.ImplicationsIterator
StrictEquality	X==Y - a strict equality test.
Structure	A Term consisting of a functor (name) and a number of other Term arguments.
SubList	include(X,Y,Z) - filters a list by a goal.
SubList.PreprocessedSubList
Subset	subset(X,Y) - checks if a set is a subset.
Subtract	- - performs subtraction.
SubtractFromList	subtract(X,Y,Z) - removes elements from a list.
SucceedsNeverPredicate
SucceedsOncePredicate
Tab	tab(X) - writes X number of spaces to the output stream.
TailRecursivePredicate	A template for implementations of Predicate that are tail recursive.
TailRecursivePredicateMetaData	Defines the characteristics of a tail recursive user defined predicate.
Tell	tell(X) - opens a file and sets it as the current output stream.
Term	The building blocks used to construct Prolog programs and queries.
TermComparator	An implementation of Comparator for comparing instances of Term.
TermFormatter	Produces String representations of Term instances.
TermGreaterThan	X@>Y - term "greater than" test.
TermGreaterThanOrEqual	X@>=Y - term "greater than or equal" test.
TermLessThan	X@<Y - term "less than" test.
TermLessThanOrEqual	X@=<Y - term "less than or equal" test.
TermSplit	atom_chars / atom_codes / number_chars / number_codes
TermType	Defines the type of terms supported by Projog.
TermUtils	Helper methods for performing common tasks on Term instances.
Throw	throw(X) - throws an exception with the given message.
Token
TokenParser	Parses an input stream into discrete 'tokens' that are used to represent Prolog queries and rules.
TokenType
Told	told - closes the current output stream.
Trace	trace - enables exhaustive tracing.
True	true - always succeeds.
UnifyWithOccursCheck	unify_with_occurs_check(X, Y) - an equality test using sound unification.
Univ	X=..L - "univ".
UnknownPredicate	Represents all predicates that a KnowledgeBase has no definition of.
UserDefinedPredicateFactory	Maintains a record of the clauses that define a user defined predicate.
Variable	Represents an unspecified Term.
VariableAttribute
Write	write(X) - writes a term to the output stream.
WriteCanonical	write_canonical(X) - writes a term to the output stream.
Writef	writef(X,Y) - writes formatted text to the output stream.
Writef.Formatter