[ Dynamic Predicates | The ECLiPSe Built-In Predicates | Reference Manual | Alphabetic Index ]

# listing

Outputs the definition of all dynamic predicates in the database.

## Description

Outputs each of the dynamic predicates currently contained on the database. ie. all predicates created using assert/1 or asserta/1 or compiled as dynamic predicates.

The order in which the predicates are listed is undefined.

The individual clauses are output in indented format using writeclause/2.

No static predicates are output.

### Modes and Determinism

- listing is det

### Modules

This predicate is sensitive to its module context (tool predicate, see @/2).

## Examples

    Success:
        [eclipse]: [user].
         :- dynamic x/0, y/1.
         x :- true.
         y(X) :- write(X).
         user compiled 0 bytes in 0.07 seconds
        yes.
        [eclipse]: assert(man(adam)), assert(woman(eve)),
        > assert((likes(X,Y):-man(X),woman(Y))).
        X = _g102
        Y = _g98
        yes.
        [eclipse]: listing.
        x .
        y(_g68):-
                write(_g68) .
        likes(_g68, _g70):-
                man(_g68),
                woman(_g70) .
        woman(eve) .
        man(adam) .
        yes.

## See Also

assert / 1, clause / 2, listing / 1, writeclause / 1