CommonFunctions

Registry of every standard ISO arithmetic LogicFunction (as used by is/2 and arithmetic comparison predicates), each implemented as a FunctionWrapper under it.unibo.tuprolog.solve.stdlib.function (e.g. it.unibo.tuprolog.solve.stdlib.function.Addition, it.unibo.tuprolog.solve.stdlib.function.SquareRoot).

Consumed by CommonBuiltins to populate the prolog.lang library's it.unibo.tuprolog.solve.library.Library.functions.

Properties

Link copied to clipboard

Every standard FunctionWrapper instance, in declaration order.