arithmetic.pl -- Arithmetic predicates in mongolog programs.

The following set of basic and special purpose predicates are supported:

PredicateArguments
is/2?Number, +Expr
>/2+Expr1, +Expr2
</2+Expr1, +Expr2
=</2+Expr1, +Expr2
>=/2+Expr1, +Expr2
=\=/2+Expr1, +Expr2
=:=/2+Expr1, +Expr2
between/3+Low, +High, ?Value
author
- Daniel Beßler
See also
- https://www.swi-prolog.org/pldoc/man?section=arith
license
- BSD