l: Listing

Lists the contents of the database. In that listing new clauses and persisting clauses, sometimes also called rules, are distinguished. Rules are clauses that have been preprocessed by the system. The distinction is reminiscent of that between equations and (oriented) rewrite rules.

Imprint | Data Protection