Skip to main content
Version: Next

unify/2

Description​

unify/2 is a predicate that unifies two terms.

Signature​

=(+Left, +Right)

Where:

  • Left is the first term to unify.
  • Right is the second term to unify.