Standard libraryis_2Version: NextOn this pageis/2 Description is/2 is a predicate that evaluates an arithmetic expression and unifies the result. Signature is(?Result, +Expression) Where: Result is unified with the evaluated result. Expression is the arithmetic expression to evaluate.