Browse Prior Art Database

Factoring Unordered Axiom Lists in Logic Programming

IP.com Disclosure Number: IPCOM000059390D
Original Publication Date: 1988-Sep-01
Included in the Prior Art Database: 2005-Feb-16

Publishing Venue

IBM

Related People

Authors:
Woodrum, LJ [+details]

Abstract

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.