The individual clauses are output in indented format using writeclause/2.
No static predicates are output.
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).