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

PREDICATElisting/0

Usage:

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

    PREDICATElisting/1

    Usage:listing(Spec)

    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: