Uses of Class
org.projog.core.predicate.AbstractSingleResultPredicate

Packages that use AbstractSingleResultPredicate

Package	Description
org.projog.core.predicate.builtin.bool	Predicates to explicitly specify when a goal succeeds of fails.
org.projog.core.predicate.builtin.classify	Predicates for classifying terms.
org.projog.core.predicate.builtin.clp	Predicates to support constraint logic programming.
org.projog.core.predicate.builtin.compare	Predicates for comparing terms, including specific predicates for comparing numeric values.
org.projog.core.predicate.builtin.compound	Predicates for the construction of compound/complex sentences.
org.projog.core.predicate.builtin.construct	Predicates for inspecting the structure of terms.
org.projog.core.predicate.builtin.db	Predicates to support working with the recorded database.
org.projog.core.predicate.builtin.debug	Predicates to aid the debugging of Prolog programs.
org.projog.core.predicate.builtin.flow	Predicates for affecting the flow of goal evaluation on backtracking.
org.projog.core.predicate.builtin.io	Predicates for system input and output with the file system.
org.projog.core.predicate.builtin.kb	Predicates for inspecting, adding and retracting clauses.
org.projog.core.predicate.builtin.list	Predicates for working with list data structures.
org.projog.core.predicate.builtin.reif	Predicates that provide reification functionality.
org.projog.core.predicate.builtin.time	Predicates to support working with dates and times.

Uses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.bool

Subclasses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.bool

Modifier and Type	Class and Description
class	Fail fail - always fails.
class	True true - always succeeds.

Uses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.classify

Subclasses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.classify

Modifier and Type	Class and Description
class	IsAtom atom(X) - checks that a term is an atom.
class	IsAtomic atomic(X) - checks that a term is atomic.
class	IsCompound compound(X) - checks that a term is a compound term.
class	IsFloat float(X) - checks that a term is a floating point number.
class	IsInteger integer(X) - checks that a term is an integer.
class	IsList is_list(X) - checks that a term is a list.
class	IsNonVar nonvar(X) - checks that a term is not an uninstantiated variable.
class	IsNumber number(X) - checks that a term is numeric.
class	IsVar var(X) - checks that a term is an uninstantiated variable.

Uses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.clp

Subclasses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.clp

Modifier and Type	Class and Description
class	AddExpressionFactory pj_add_clp_expression(X,Y) - defines a Java class as an CLP expression.
class	Distinct all_different([X,Y,Z]) - enforce that none of the given CLP variables share the same value.
class	In X in 1..4 / [X,Y,Z] ins 1..4 - restrict CLP variables to a range of values.
class	NumericConstraintPredicate CLP predicates for comparing numeric values.

Uses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.compare

Subclasses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.compare

Modifier and Type	Class and Description
class	Compare compare(X,Y,Z) - compares arguments.
class	Equal X=Y - an equality test.
class	Is X is Y - evaluate arithmetic expression.
class	NotStrictEquality X\==Y - a strict equality test.
class	NotUnifiable X \= Y - checks whether two terms cannot be unified.
class	NumericEquality X=:=Y - numeric equality test.
class	NumericGreaterThan X>Y - numeric "greater than" test.
class	NumericGreaterThanOrEqual X>=Y - numeric "greater than or equal" test.
class	NumericInequality X=\=Y - numeric inequality test.
class	NumericLessThan X<Y - numeric "less than" test.
class	NumericLessThanOrEqual X=<Y - numeric "less than or equal" test.
class	PredSort predsort(X,Y,Z) - sorts a list using the specified predicate.
class	StrictEquality X==Y - a strict equality test.
class	TermGreaterThan X@>Y - term "greater than" test.
class	TermGreaterThanOrEqual X@>=Y - term "greater than or equal" test.
class	TermLessThan X@<Y - term "less than" test.
class	TermLessThanOrEqual X@=<Y - term "less than or equal" test.
class	UnifyWithOccursCheck unify_with_occurs_check(X, Y) - an equality test using sound unification.

Uses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.compound

Subclasses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.compound

Modifier and Type	Class and Description
class	FindAll findall(X,P,L) - find all solutions that satisfy the goal.
class	Not \+ X - "not".
class	Once once(X) - calls the goal represented by a term.

Uses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.construct

Subclasses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.construct

Modifier and Type	Class and Description
class	Arg arg(N,T,A) - allows access to an argument of a structure.
class	CopyTerm copy_term(X,Y) - makes a copy of a term.
class	Functor functor(T,F,N)
class	NumberVars numbervars(Term,Start,End) - unifies free variables of a term.
class	TermSplit atom_chars / atom_codes / number_chars / number_codes
class	Univ X=..L - "univ".

Uses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.db

Subclasses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.db

Modifier and Type	Class and Description
class	Erase erase(X) - removes a record from the recorded database.
class	InsertRecord recorda(X,Y,Z) / recordz(X,Y,Z) - associates a term with a key.

Uses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.debug

Subclasses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.debug

Modifier and Type	Class and Description
class	AlterSpyPoint spy(X) / nospy(X) - add or remove a spy point for a predicate.
class	Debugging debugging - lists current spy points.
class	NoDebug nodebug - removes all current spy points.
class	NoTrace notrace - disables exhaustive tracing.
class	Trace trace - enables exhaustive tracing.

Uses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.flow

Subclasses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.flow

Modifier and Type	Class and Description
class	Throw throw(X) - throws an exception with the given message.

Uses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.io

Subclasses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.io

Modifier and Type	Class and Description
class	Close close(X) - closes a stream.
class	CurrentInput current_input(X) - match a term to the current input stream.
class	CurrentOutput current_output(X) - match a term to the current output stream.
class	GetChar get_char(X) - reads the next character from the input stream.
class	GetCode get_code(X) - reads the next character from the input stream.
class	NewLine nl - outputs a new line character.
class	Op op(X,Y,Z)
class	Open open(X,Y,Z) - opens a file.
class	PutChar put_char(X) - writes a character.
class	Read read(X) - reads a term from the input stream.
class	See see(X) - opens a file and sets it as the current input stream.
class	Seen seen - closes the current input stream.
class	SetInput set_input(X) - sets the current input.
class	SetOutput set_output(X) - sets the current output.
class	Tab tab(X) - writes X number of spaces to the output stream.
class	Tell tell(X) - opens a file and sets it as the current output stream.
class	Told told - closes the current output stream.
class	Write write(X) - writes a term to the output stream.
class	WriteCanonical write_canonical(X) - writes a term to the output stream.
class	Writef writef(X,Y) - writes formatted text to the output stream.

Uses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.kb

Subclasses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.kb

Modifier and Type	Class and Description
class	AddArithmeticOperator pj_add_arithmetic_operator(X,Y) - defines a Java class as an arithmetic operator.
class	AddPredicateFactory pj_add_predicate(X,Y) - defines a Java class as a built-in predicate.
class	AddUserDefinedArithmeticOperator arithmetic_function(X) - defines a predicate as an arithmetic function.
class	Assert asserta(X) / assertz(X) - adds a clause to the knowledge base.
class	Consult consult(X) - reads clauses and goals from a file.
class	ConsultList Read clauses and goals from a list of files.
class	Dynamic dynamic/1 - indicates that a user defined predicate is dynamic.
class	EnsureLoaded ensure_loaded(X) - reads clauses and goals from a file.
class	Flag flag(X,Y,Z) - associates a key with a value.
class	Listing listing(X) - outputs current clauses.
class	RetractAll retractall(X) - remove clauses from the knowledge base.

Uses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.list

Subclasses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.list

Modifier and Type	Class and Description
class	AppendListOfLists append(ListOfLists, List) - concatenates a list of lists.
class	AtomicListConcat atomic_list_concat(List,Separator,Atom) / atomic_list_concat(List,Atom)
class	Delete delete(X,Y,Z) - remove all occurrences of a term from a list.
class	ExtremumList min_list / max_list
class	Flatten flatten(X,Y) - flattens a nested list.
class	KeySort keysort(X,Y) - sorts a list of key/value pairs.
class	MemberCheck memberchk(E, L) - checks is a term is a member of a list.
class	PairsElements pairs_keys(Pairs,Keys) / pairs_values(Pairs,Values) - get keys or values from list of Key-Value pairs.
class	Sort msort(X,Y) - sorts a list.
class	SortAsSet sort(X,Y) - sorts a list and removes duplicates.
class	SubList include(X,Y,Z) - filters a list by a goal.
class	Subset subset(X,Y) - checks if a set is a subset.
class	SubtractFromList subtract(X,Y,Z) - removes elements from a list.

Uses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.reif

Subclasses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.reif

Modifier and Type	Class and Description
class	Dif dif(X,Y) - enforces restriction that the two given terms are never equal.

Uses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.time

Subclasses of AbstractSingleResultPredicate in org.projog.core.predicate.builtin.time

Modifier and Type	Class and Description
class	ConvertTime convert_time(X,Y) - converts a timestamp to a textual representation.
class	GetTime get_time(X) - gets the current system time.