Open Access. Powered by Scholars. Published by Universities.®

Computer Engineering Commons™

Open Access. Powered by Scholars. Published by Universities.®

Systems and Communications

University of North Florida

Theses/Dissertations

1987

Academic -- UNF -- Master of Science in Computer and Information Sciences; Dissertations

Articles 1 - 1 of 1

Full-Text Articles in Computer Engineering

Compiling Unit Clauses For The Warren Abstract Machine, George D. Herbert Jan 1987

Compiling Unit Clauses For The Warren Abstract Machine, George D. Herbert

UNF Graduate Theses and Dissertations

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.

Go to article