Open Access. Powered by Scholars. Published by Universities.®
- Institution
- Keyword
-
- Patents (2)
- Academic -- UNF -- Computing (1)
- Academic -- UNF -- Master of Science in Computer and Information Sciences; Dissertations (1)
- Thesis; M. of Science in Computer and Information Sciences; University of North Florida; 1987; Logic programming; Compilers; Computer programs; Prolog; Computer program language; Thesis; University of North Florida; UNF; Dissertations (1)
- Publication Type
Articles 1 - 3 of 3
Full-Text Articles in Entire DC Network
Compiling Unit Clauses For The Warren Abstract Machine, George D. Herbert
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.
Method And Apparatus For Division Pct:Ep0075745, Robert Iannucci, James Kleinsteiber
Method And Apparatus For Division Pct:Ep0075745, Robert Iannucci, James Kleinsteiber
Robert A Iannucci
No abstract provided.
High Performance Memory System Utilizing Pipelining Techniques Us:4685088, Robert Iannucci
High Performance Memory System Utilizing Pipelining Techniques Us:4685088, Robert Iannucci
Robert A Iannucci
No abstract provided.