Documentation is/2
Related predicates
available from version beta

is/2

Evaluate expression.

Description

'is'( ?term, @evaluable )

'is'(Result, Expression) is true if and only if evaluating Expression as an expression gives Result as a result.

Implementation