arithmetic.pl -- Extensible arithmetic

This module provides a portable partial replacement of SWI-Prolog's user-defined arithmetic (evaluable) functions. It defines the compatibility directive arithmetic_function/1 and support for both runtime and compile-time evaluation of expressions that are a mixture between Prolog predicates used as functions and built-in evaluable terms.

 arithmetic_function(:NameArity) is det

Declare a predicate as an arithmetic function.

deprecated

- This function provides a partial work around for pure Prolog user-defined arithmetic functions that has been dropped in SWI-Prolog 5.11.23. Notably, it only deals with expression know at compile time.

Undocumented predicates

The following predicates are exported, but not or incorrectly documented.

 arithmetic_expression_value(Arg1, Arg2)