PART III - ISO-Prolog library (iso)

This part documents the iso package which provides to Ciao programs (most of) the ISO-Prolog functionality, including the ISO-Prolog builtins not covered by the basic library.

Subparts

• ISO-Prolog package
• All solutions predicates
• Dynamic predicates
• Term input
• Term output
• Defining operators
• The Iso Char module
• Miscellaneous ISO Prolog predicates
• Incomplete ISO Prolog predicates