Facts and rules

Facts and rules are formalized in the usual Prolog-ish way, with a few exceptions:

• usage of naming predicate name/1 is restricted to the first body literal;
• facts cannot be named;
• predicates for dealing with preferences are subject to compilations and must thus not be used in the input language;
• internal predicates must not be used in the input language.

For examples see Section .