Standard librarysucc_2Version: v15.0.0On this pagesucc/2 Description succ/2 is a predicate that relates consecutive integers. Signature succ(?Int1, ?Int2) Where: Int1 is an integer. Int2 is Int1 + 1.