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

Library usage:
:- use_module(library(listing)).
Exports:
- Predicates:
  listing/0, listing/1.

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:

System library modules:
write, parse_spec.
Packages:
prelude, initial, condcomp, assertions, assertions/assertions_basic, isomodes.