Year of Publication

1987

Season of Publication

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

First Advisor

Dr. Ralph M. Butler

Second Advisor

Dr. Charles N. Winton

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.

Share

COinS