Browse Prior Art Database

Factoring Unordered Axiom Lists in Logic Programming Disclosure Number: IPCOM000059390D
Original Publication Date: 1988-Sep-01
Included in the Prior Art Database: 2005-Feb-16

Publishing Venue


Related People

Woodrum, LJ [+details]


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.