Factoring Unordered Axiom Lists in Logic Programming
Original Publication Date: 1988-Sep-01
Included in the Prior Art Database: 2005-Feb-16
Existing functional or logic programming language interpreters, such as LISP and PROLOG, use a chained list or a hash table to search the table of definitions, or axioms. In PROLOG and LISP, the order of the definitions in the list is significant, because more than one definition may match to a clause. The order of the definitions in the list is the order in which they were entered.