listing/2

Writes the Clauses for the given predicate and Arity, in a form readable by humans

listing(PredicateFunctor,Arity) -(i,i)

Compatibility: Only G.I.S. Prolog (most probably).

Remarks:

listing/2 writes only the clauses for the given Predicate with the given Arity.

See also:

listing/0

listing/1

Historical Remark:

This predicate was originally "list" inside the P.I.E. inference engine (which is also the basis for G.I.S. Prolog). However, most other Prologs use "listing" instead, and -furthermore- 'list/1' is a standard predicate doing something completely different, inside LPA Win-Prolog and in many other Prologs. For all these reasons, the original "list" predicate was replaced by "listing" in G.I.S. Prolog.