Printing dynamic predicates

Author(s): The Ciao Development Team.

This module implements predicates to pretty print the contents of the dynamic predicate database to the output stream. These predicates are introduced for compatibility with legacy C-Prolog, as well as modern Prolog implementations. Note that the predicate representation may change due to internal code expansions.

Usage and interface

Documentation on exports



Show the definition of all the dynamic predicates using portray_clause/1.



    Show the definition the specified predicate given by Spec (F/A) using portray_clause/1.

    • The following properties should hold at call time:
      (term_typing:nonvar/1)Spec is currently a term which is not a free variable.

    Documentation on imports

    This module has the following direct dependencies: