Skip to main content
Version: Next

succ/2

Description​

succ/2 is a predicate that relates consecutive integers.

Signature​

succ(?Int1, ?Int2)

Where:

  • Int1 is an integer.
  • Int2 is Int1 + 1.