Programming in Prolog (2nd ed.)
Programming in Prolog (2nd ed.)
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
The occur-check problem revisited
Journal of Logic Programming
Warren's abstract machine: a tutorial reconstruction
Warren's abstract machine: a tutorial reconstruction
Can logic programming execute as fast as imperative programming?
Can logic programming execute as fast as imperative programming?
Fast Prolog with an extended general purpose architecture
ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Logic for Problem Solving
Communications of the ACM
Determinacy testing for nondeterminate logic programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Combinations of abstract domains for logic programming
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Parallel logic programming systems
ACM Computing Surveys (CSUR)
Generating instruction sets and microarchitectures from applications
ICCAD '94 Proceedings of the 1994 IEEE/ACM international conference on Computer-aided design
XSB as an efficient deductive database engine
SIGMOD '94 Proceedings of the 1994 ACM SIGMOD international conference on Management of data
Branch with masked squashing in superpipelined processors
ISCA '94 Proceedings of the 21st annual international symposium on Computer architecture
Minimizing branch misprediction penalties for superpipelined processors
MICRO 27 Proceedings of the 27th annual international symposium on Microarchitecture
Implementation of multiple specialization in logic programs
PEPM '95 Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
Cache design trade-offs for power and performance optimization: a case study
ISLPED '95 Proceedings of the 1995 international symposium on Low power design
Global analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Some challenges for constraint programming
ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
The GNU Prolog system and its implementation
SAC '00 Proceedings of the 2000 ACM symposium on Applied computing - Volume 2
Incremental analysis of constraint logic programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Parallel execution of prolog programs: a survey
ACM Transactions on Programming Languages and Systems (TOPLAS)
Combining an improvement to PARMA trailing with trailing analysis
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
Some Challenges for Constraint Programming
Constraints
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
GNU Prolog: Beyond Compiling Prolog to C
PADL '00 Proceedings of the Second International Workshop on Practical Aspects of Declarative Languages
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
A New Module System for Prolog
CL '00 Proceedings of the First International Conference on Computational Logic
Compiling Mercury to High-Level C Code
CC '02 Proceedings of the 11th International Conference on Compiler Construction
Instruction merging and specialization in the SICStus Prolog virtual machine
Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming
Logic programming in the context of multiparadigm programming: the Oz experience
Theory and Practice of Logic Programming
Sequence-based abstract interpretation of Prolog
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Generic program monitoring by trace analysis
Theory and Practice of Logic Programming
Translating owl and semantic web rules into prolog: Moving toward description logic programs
Theory and Practice of Logic Programming
Towards description and optimization of abstract machines in an extension of prolog
LOPSTR'06 Proceedings of the 16th international conference on Logic-based program synthesis and transformation
Design, implementation, and evaluation of a dynamic compilation framework for the YAP system
ICLP'07 Proceedings of the 23rd international conference on Logic programming
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Theory and Practice of Logic Programming - Prolog Systems
Sicstus prolog-the first 25 years
Theory and Practice of Logic Programming - Prolog Systems
On the implementation of gnu prolog
Theory and Practice of Logic Programming - Prolog Systems
| Hi-index | 4.12 |
Aquarius Prolog, a high performance compiler designed and built to test the hypothesis that Prolog can be implemented as efficiently as an imperative language by compiling the more powerful features of logic programming only where they are needed, and then only in the simplest form, is described. The authors begin with some background on logic programming and then discuss the Prolog language in more detail. They present an overview of their compiler, giving its structure and the principles underlying its high performance. They compare their system with two popular high-performance commercial systems and with two implementations of C and conclude with an overview of ways to extend this work.