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.

Not covered by the ISO core standard, a Prolog text in Dogelog Player might also contain unattended queries indicated by the (?-)/1 operator. The directive is non-interactive, it will not prompt the end-user. And it will write all answer sustitutions as if the end-user had always used the semicolon “;” command in an interactive session.

The following tools predicates are provided:

?- Q:

The predicate succeeds. Additional whenever the query Q succeeds the predicate writes the answer substitutions to the standard output.

listing:

listing(I):

The predicate lists the user clauses of the user predicates. The unary predicate allows specifying a predicate indicator.

Use Privacy (c) 2005-2026 XLOG Technologies AG