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

Packages that use AbstractSingleResultPredicate

Package	Description
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.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.classify

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

Modifier and Type	Class	Description
final class	IsAtom	atom(X) - checks that a term is an atom.
final class	IsAtomic	atomic(X) - checks that a term is atomic.
final class	IsCompound	compound(X) - checks that a term is a compound term.
final class	IsFloat	float(X) - checks that a term is a floating point number.
final class	IsInteger	integer(X) - checks that a term is an integer.
final class	IsList	is_list(X) - checks that a term is a list.
final class	IsNonVar	nonvar(X) - checks that a term is not an uninstantiated variable.
final class	IsNumber	number(X) - checks that a term is numeric.
final 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	Description
final class	AddExpressionFactory	pj_add_clp_expression(X,Y) - defines a Java class as an CLP expression.
final class	Distinct	all_different([X,Y,Z]) - enforce that none of the given CLP variables share the same value.
final class	In	X in 1..4 / [X,Y,Z] ins 1..4 - restrict CLP variables to a range of values.
final 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	Description
final class	Compare	compare(X,Y,Z) - compares arguments.
final class	Equal	X=Y - an equality test.
final class	NotStrictEquality	X\==Y - a strict equality test.
final class	NotUnifiable	X \= Y - checks whether two terms cannot be unified.
final class	NumericEquality	X=:=Y - numeric equality test.
final class	NumericGreaterThan	X>Y - numeric "greater than" test.
final class	NumericGreaterThanOrEqual	X>=Y - numeric "greater than or equal" test.
final class	NumericInequality	X=\=Y - numeric inequality test.
final class	NumericLessThan	X<Y - numeric "less than" test.
final class	NumericLessThanOrEqual	X=<Y - numeric "less than or equal" test.
final class	StrictEquality	X==Y - a strict equality test.
final class	TermGreaterThan	X@>Y - term "greater than" test.
final class	TermGreaterThanOrEqual	X@>=Y - term "greater than or equal" test.
final class	TermLessThan	X@<Y - term "less than" test.
final class	TermLessThanOrEqual	X@=<Y - term "less than or equal" test.
final class	UnifyWithOccursCheck	unify_with_occurs_check(X, Y) - an equality test using sound unification.

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

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

Modifier and Type	Class	Description
final class	Arg	arg(N,T,A) - allows access to an argument of a structure.
final class	CopyTerm	copy_term(X,Y) - makes a copy of a term.
final class	Functor	functor(T,F,N)
final class	NumberVars	numbervars(Term,Start,End) - unifies free variables of a term.
final class	TermSplit	atom_chars / atom_codes / number_chars / number_codes atom_chars(A,L) compares the atom A to the list of characters L. atom_codes(A,L) compares the atom A to the list of character codes L. number_chars(N,L) compares the number N to the list of characters L. number_codes(N,L) compares the number N to the list of character codes L.
final 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	Description
final class	Erase	erase(X) - removes a record from the recorded database.
final 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	Description
final class	AlterSpyPoint	spy(X) / nospy(X) - add or remove a spy point for a predicate.
final class	Debugging	debugging - lists current spy points.
final class	NoDebug	nodebug - removes all current spy points.
final class	NoTrace	notrace - disables exhaustive tracing.
final 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	Description
final 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	Description
final class	Close	close(X) - closes a stream.
final class	CurrentInput	current_input(X) - match a term to the current input stream.
final class	CurrentOutput	current_output(X) - match a term to the current output stream.
final class	GetChar	get_char(X) - reads the next character from the input stream.
final class	GetCode	get_code(X) - reads the next character from the input stream.
final class	NewLine	nl - outputs a new line character.
final class	Op	op(X,Y,Z)
final class	Open	open(X,Y,Z) - opens a file.
final class	PutChar	put_char(X) - writes a character.
final class	Read	read(X) - reads a term from the input stream.
final class	See	see(X) - opens a file and sets it as the current input stream.
final class	Seen	seen - closes the current input stream.
final class	SetInput	set_input(X) - sets the current input.
final class	SetOutput	set_output(X) - sets the current output.
final class	Tab	tab(X) - writes X number of spaces to the output stream.
final class	Tell	tell(X) - opens a file and sets it as the current output stream.
final class	Told	told - closes the current output stream.
final class	Write	write(X) - writes a term to the output stream.
final class	WriteCanonical	write_canonical(X) - writes a term to the output stream.
final 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	Description
final class	AddArithmeticOperator	pj_add_arithmetic_operator(X,Y) - defines a Java class as an arithmetic operator.
final class	AddPredicateFactory	pj_add_predicate(X,Y) - defines a Java class as a built-in predicate.
final class	AddUserDefinedArithmeticOperator	arithmetic_function(X) - defines a predicate as an arithmetic function.
final class	Assert	asserta(X) / assertz(X) - adds a clause to the knowledge base.
final class	Consult	consult(X) - reads clauses and goals from a file.
final class	ConsultList	Read clauses and goals from a list of files.
final class	Dynamic	dynamic/1 - indicates that a user defined predicate is dynamic.
final class	EnsureLoaded	ensure_loaded(X) - reads clauses and goals from a file.
final class	Flag	flag(X,Y,Z) - associates a key with a value.
final class	Listing	listing(X) - outputs current clauses.
final class	Tabling	table/1 - defines a user defined predicate as using tabled execution.

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

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

Modifier and Type	Class	Description
final class	AppendListOfLists	append(ListOfLists, List) - concatenates a list of lists.
final class	AtomicListConcat	atomic_list_concat(List,Separator,Atom) / atomic_list_concat(List,Atom)
final class	Delete	delete(X,Y,Z) - remove all occurrences of a term from a list.
final class	ExtremumList	min_list / max_list min_list(Min, List) - True if Min is the smallest number in List.
final class	Flatten	flatten(X,Y) - flattens a nested list.
final class	KeySort	keysort(X,Y) - sorts a list of key/value pairs.
final class	PairsElements	pairs_keys(Pairs,Keys) / pairs_values(Pairs,Values) - get keys or values from list of Key-Value pairs.
final class	RandomPermutation	random_permutation(X,Y) - produces a random permutation of a list.
final class	Sort	msort(X,Y) - sorts a list.
final class	SortAsSet	sort(X,Y) - sorts a list and removes duplicates.
final class	Subset	subset(X,Y) - checks if a set is a subset.
final class	SubtractFromList	subtract(X,Y,Z) - removes elements from a list.
final class	SumList	sum_list(X,Y) - sums the elements of 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	Description
final 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	Description
final class	ConvertTime	convert_time(X,Y) - converts a timestamp to a textual representation.
final class	GetTime	get_time(X) - gets the current system time.