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.

Evaluable functors
(pi)/0Pi constant
(e)/0E constant
(tau)/0Tau constant (2*Pi)
(+)/2Addition
(-)/2Subtraction
(*)/2Multiplication
(//)/2Integer division
(/)/2Division
(rem)/2Remainder
(mod)/2Modulus
(+)/1Identity
(-)/1Negation
(abs)/1Absolute value
(sign)/1Sign
(float_integer_part)/1Integer part
(float_fractional_part)/1Fractional part
(float)/1Float coercion
(floor)/1Floor
(truncate)/1Truncate
(round)/1Round
(ceiling)/1Ceiling
(**)/2Power
(^)/2Power
(sin)/1Sine
(cos)/1Cosine
(tan)/1Tangent
(asin)/1Arc sine
(acos)/1Arc cosine
(atan)/1Arc tangent
(atan2)/2Arc tangent
(exp)/1Exponentiation
(log)/1Logarithm
(sqrt)/1Square root
(>>)/2Bitwise right shift
(<<)/2Bitwise left shift
(/\)/2Bitwise and
(\/)/2Bitwise or
(xor)/2Bitwise exclusive or
(\)/1Bitwise complement

Implementation