not_equal/2

Description

not_equal/2 is a predicate that tests arithmetic inequality of two expressions.

Signature

=\=(+Left, +Right)

Where:

• Left is the first arithmetic expression.
• Right is the second arithmetic expression.