[ Dynamic Predicates | Reference Manual | Alphabetic Index ]
listing ++SpecList
Outputs the definition of all dynamic predicates indicated by SpecList.
- SpecList
- Sequence of expressions of the form Atom/Integer or just                Atom.
Description
   Outputs the definition of all dynamic predicates defined by SpecList to
   the standard output.  An expression in SpecList may be a single
   predicate in the form name/arity in which case only the clauses for
   name/arity are printed.  Alternatively the format name is accepted in
   which case all the predicates of any arity associated with name are
   output.
   The individual clauses are output in indented format using
   writeclause/2.
   No static predicates are output.
Modes and Determinism
Modules
This predicate is sensitive to its module context (tool predicate, see @/2).
Exceptions
- (4) instantiation fault 
- An expression in SpecList is not instantiated.
- (5) type error 
- An expression in SpecList is not of the form Atom/Integer or    Atom.
- (63) procedure not dynamic 
- An expression in SpecList is not a dynamic procedure.
Examples
Success:
    [eclipse]: [user], assert(woman(eve)).
     :- dynamic p/0.
     p.
     user compiled 0 bytes in 0.00 seconds
    yes.
    [eclipse]: listing p/0, woman/1.
    p .
    woman(eve) .
    yes.
Error:
    listing X.                  (Error 4).
    listing a/a.                (Error 5).
    listing z/3.                (Error 63).
See Also
assert / 1, clause / 1, clause / 2, listing / 0, writeclause / 1