File "tools"

This file provides static clause inspection tools. Dogelog Player implements the strict policy that dynamic database predicates such as clause/2, assertz/1, etc..cannot access or modify static clauses, and that static clauses can only be modified through consult. To allow the user to nevertheless inspect what has been consulted we provide the listing/[0,1] predicate.

The file is not automatically consulted in command line invocation with a script argument or browser invocation via init(). If tools predicates are nevertheless desired the file has to be manually loaded via ensure_loaded/1. Further the listing/[0,1] predicate will write with colorize(true) if the output stream is marked MASK_DST_CANS.

The following tools predicates are provided:

listing:
listing(I):
The predicate lists the user clauses of the user predicates. The unary predicate allows specifying a predicate indicator.