Year
1987
Season
Fall
Paper Type
Master's Thesis
College
College of Computing, Engineering & Construction
Degree Name
Master of Science in Computer and Information Sciences (MS)
Department
Computing
Committee Chairperson
Dr. Ralph M. Butler
Second Advisor
Dr. Charles N. Winton
Rights Statement
http://rightsstatements.org/vocab/InC/1.0/
Third Advisor
Dr. Paul Mullenix
Department Chair
Dr. Kenneth E. Martin
Abstract
This thesis describes the design, development, and installation of a computer program which compiles unit clauses generated in a Prolog-based environment at Argonne National Laboratories into Warren Abstract Machine (WAM) code. The program enhances the capabilities of the environment by providing rapid unification and subsumption tests for the very significant class of unit clauses. This should improve performance substantially for large programs that generate and use many unit clauses.
Suggested Citation
Herbert, George D., "Compiling Unit Clauses for the Warren Abstract Machine" (1987). UNF Graduate Theses and Dissertations. 571.
https://digitalcommons.unf.edu/etd/571
Included in
Data Storage Systems Commons, Digital Communications and Networking Commons, Systems and Communications Commons
Accessibility Statement
This item was created or digitized before April 24, 2027, or is a reproduction of legacy material created before that date. It is preserved in its original, unmodified state specifically for research, reference, or historical recordkeeping. In accordance with the ADA Title II Final Rule, the Library provides accessible versions of archival materials by request. If you are experiencing difficulty accessing the information on the site due to a disability, please submit a request through the following form for assistance.