defined_predicates(List) with a list of predicate identifiers,
atoms encoded as <name>_<arity>, e.g., parent_2 for parent/2.defined_rule(Name, Head, Body, Origin) where Name is the functor name
of Head and Body represents the conjunction of the body as a
list, and Origin denotes the source of the rule's definition.defined_query(List, Count)
List is like Body above, expressing the query and Count is the
number of answer sets to generate by default (based on the
`Count { Query }.` syntax.defined_nmr_check(List)
When defined, a list of one atom containing the rule name for the
NMR check.| Statements | - List of rules and compute statements produced by DCG. |