- BOWE 82.Bowen, D.L., Byrd, L., Pereira, F.C.N., Pereira, L.M., Warren, D.H.D, DEC System-10 Prolog User's Manual, Department of Artificial Intelligence, University of Edinburgh, 1982.Google Scholar
- BRUY 86.Bruynooghe,M., "Compile Time Garbage Collection," Report # 43, Dept. Computerwetenschappen, Katholieke Universiteit Leuven, Apr. 1986.Google Scholar
- CARD 84.Cardelli, L.,"Compiling a Functional Language," Proceedings of the ACM, March, 1984, pp. 208-217. Google ScholarDigital Library
- MELL 84.Mellish, C., & Hardy, S.,"Integrating Prolog into the POPLOG environmerit,' Implementations of PROLOG, J.A. Campbell (ed.), 1984, pp. 147- 162.Google Scholar
- MELL 85.Mellish, C., "Some Global Optimizations for a Prolog Compiler," The Journal of Logic Programming, 2:1, 1985, pp. 43-66.Google ScholarCross Ref
- NILS 83.Nilsson, Jzrgen Fischer,"On the Compilation of a Domain-Based Prolog,' Information Processing, R.E.A. Mason (ed.), Elsevier Science Publishers B.V. (North. Holland), 1983, pp. 293- 299.Google Scholar
- WARR 77.Warren, D.H.D.,"Implementing Prolog: Compiling Predicate Logic Programs," Research Report # 39, Dept. of Artificial Intelligence, Univ. of Edinburgh, 1977.Google Scholar
- WARR 83.Warren,D.H.D.,"An Abstract Prolog Instruction Set," Technical Note 309, AI Center, SRI International, October 1983.Google Scholar
Index Terms
- A piggy-back compiler for Prolog
Recommendations
From Naïve to Norvig On Deriving a PROLOG Compiler
ILC '14: Proceedings of ILC 2014 on 8th International Lisp ConferenceAn interpreter is a concise definition of the semantics of a programming language and is easily implemented. A compiler is more difficult to construct, but the code that it generates runs faster than interpreted code. This paper introduces rules to ...
High-Performance Logic Programming with the Aquarius Prolog Compiler
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 ...
Comments