Package org.projog.core.predicate.builtin.compare
package org.projog.core.predicate.builtin.compare
Predicates for comparing terms, including specific predicates for comparing numeric values.
-
ClassesClassDescription
between(X,Y,Z)- checks if a number is within a specified range.compare(X,Y,Z)- compares arguments.X=Y- an equality test.X is Y- evaluate arithmetic expression.X\==Y- a strict equality test.X \= Y- checks whether two terms cannot be unified.X=:=Y- numeric equality test.X>Y- numeric "greater than" test.X>=Y- numeric "greater than or equal" test.X=\=Y- numeric inequality test.X<Y- numeric "less than" test.X=<Y- numeric "less than or equal" test.predsort(X,Y,Z)- sorts a list using the specified predicate.X==Y- a strict equality test.X@>Y- term "greater than" test.X@>=Y- term "greater than or equal" test.X@<Y- term "less than" test.X@=<Y- term "less than or equal" test.unify_with_occurs_check(X, Y)- an equality test using sound unification.