Package org.projog.core.predicate.builtin.compare

Predicates for comparing terms, including specific predicates for comparing numeric values.

See: Description

Class Summary

Class	Description
Between	between(X,Y,Z) - checks if a number is within a specified range.
Compare	compare(X,Y,Z) - compares arguments.
Equal	X=Y - an equality test.
Is	X is Y - evaluate arithmetic expression.
NotStrictEquality	X\==Y - a strict equality test.
NotUnifiable	X \= Y - checks whether two terms cannot be unified.
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.
PredSort	predsort(X,Y,Z) - sorts a list using the specified predicate.
StrictEquality	X==Y - a strict equality test.
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.
UnifyWithOccursCheck	unify_with_occurs_check(X, Y) - an equality test using sound unification.

Package org.projog.core.predicate.builtin.compare Description

Predicates for comparing terms, including specific predicates for comparing numeric values.