c_arith (library)
Usage and interface
- Library usage:
:- use_module(library(c_arith)). - Exports:
- Predicates:
succ/2.
- Predicates:
Documentation on exports
(UNDOC_REEXPORT)
between/3:
Imported from default_predicates (see the corresponding documentation for details).