A two-level rule interpreter carrying rules
Source: The Art of Prolog
Program source code: rule_interpreter.pl