Documentation Prolog Predicate Reference builtin succ/2

succ/2

Return the successor of a positive number.

Description

succ( +integer, ?integer )
succ( -integer, +integer )

succ(Int, Succ) is true if and only of Int is greater than or equal to 0 and Succ is Int + 1.

Implementation