| Origin | - A term describing the origin of this rule. For rules that are derived
from loaded clauses, Origin is set to clause(ClauseRef); for compiler
generated rules, Origin is set to generated(Why) where Why is one
of neg for classical negation, nmr for NMR checks, and dual for dual rules;
for rules read directly as s(CASP) with e.g. load_source_files/1, Origin is set
to source(Path, Pos) where Path is the path of the source file,
and Pos is a term describing the postition and layout of the rule in the file. |