FASILL documentation Predicate Reference arithmetic evaluation

Arithmetic evaluation

This section provides predicates for arithmetic evaluation.

'is'/2

Evaluate expression.

'is'( ?term, @evaluable )

Result is Expression is true if and only if evaluating Expression as an expression gives Result as a result.