Fast Logic Program Execution
Seiten
1995
Intellect Books (Verlag)
978-1-871516-37-1 (ISBN)
Intellect Books (Verlag)
978-1-871516-37-1 (ISBN)
- Titel ist leider vergriffen;
keine Neuauflage - Artikel merken
This text documents the design and implementation of Aquarius Prolog, a high-performance logic programming system. The book details the internals of an optimizing Prolog compiler. The system is available without charge from the University of Southern California and runs under BSD Unix.
This text documents the design and implementation of Aquarius Prolog, a high-performance logic programming system. The book details the internals of an optimizing Prolog compiler and should be of interest to those involved in implementing logic programming systems and compiler-writers. The book argues that Aquarius Prolog executes as quickly as popular imperative languages, such as C and PASCAL. Aquarius Prolog was designed together with the VLSI-BAM, a load-store processor with extensions for Prolog, as part of the Aquarius project at the University of California, Berkeley. This research effort was devoted to the implementation of high-performance inferencing systems and their application to computer architecture design. The Aquarius Prolog system is available without charge from the University of Southern California, USA. It runs under BSD Unix, includes full source code, is able to compile itself and has been ported to various processors including MIPS, SPARC and VLSI-BAM.
This text documents the design and implementation of Aquarius Prolog, a high-performance logic programming system. The book details the internals of an optimizing Prolog compiler and should be of interest to those involved in implementing logic programming systems and compiler-writers. The book argues that Aquarius Prolog executes as quickly as popular imperative languages, such as C and PASCAL. Aquarius Prolog was designed together with the VLSI-BAM, a load-store processor with extensions for Prolog, as part of the Aquarius project at the University of California, Berkeley. This research effort was devoted to the implementation of high-performance inferencing systems and their application to computer architecture design. The Aquarius Prolog system is available without charge from the University of Southern California, USA. It runs under BSD Unix, includes full source code, is able to compile itself and has been ported to various processors including MIPS, SPARC and VLSI-BAM.
| Erscheint lt. Verlag | 31.3.1995 |
|---|---|
| Sprache | englisch |
| Maße | 174 x 230 mm |
| Themenwelt | Mathematik / Informatik ► Informatik ► Programmiersprachen / -werkzeuge |
| Informatik ► Theorie / Studium ► Compilerbau | |
| ISBN-10 | 1-871516-37-4 / 1871516374 |
| ISBN-13 | 978-1-871516-37-1 / 9781871516371 |
| Zustand | Neuware |
| Haben Sie eine Frage zum Produkt? |
Mehr entdecken
aus dem Bereich
aus dem Bereich
a beginner's guide to learning llvm compiler tools and core …
Buch | Softcover (2024)
Packt Publishing Limited (Verlag)
CHF 69,80
