This module describes the ISO core standard built-in predicates. It originates from Logtalk. Note that, although the artistic license would allow redistribution under a new name and interface using the GPL, we preserve the original license.

author

- Paulo Moura

- Jan Wielemaker @licence GPL+SWI-exception or Artistic 2.0

See also

- predicate_property/2, property iso.

 iso_builtin_predicate(?Head:callable) is nondet

True if Head describes a builtin defined by the ISO Prolog standard (ISO/IEC 1321 l-l).

 iso_builtin_function(?Head:callable) is nondet

True if Head describes a builtin arithmetic function as defined by the ISO Prolog standard (ISO/IEC 1321 l-l).