Parma - Bridging the performance gap between imperative and logic programming

Journal of Logic Programming

Volumn 29, Issue 1-3, 1996, Pages 5-16

  Taylor, Andrew ^a  

^a UNIVERSITY OF NEW SOUTH WALES   (Australia)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; PERFORMANCE; PROGRAM COMPILERS; PROLOG (PROGRAMMING LANGUAGE); REDUCED INSTRUCTION SET COMPUTING;

PARMA; PROLOG COMPILER;

LOGIC PROGRAMMING;

EID: 0030260689     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0743-1066(96)00065-9     Document Type: Article

References (16)

1. Sethi, R., Aho, A., and Ullman, J., Compilers, Principles, Techniques and Tools, Addison-Wesley, 1986.
2. Carlsson, M., and Widen, J., Sicstus Prolog User's Manual, Technical Report R88007B, SICS, 1988.
3. Cousot, P., and Cousot, R., Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction of Fixed Points, in: Proc. 4th ACM Symp. on Principles of Programming Languages, 1977, pp. 78-88.
4. Kane, G., MIPS RISC Architecture, Prentice-Hall, Englewood Cliffs, NJ, 1988.
5. Mellish, C. S., Some Global Optimizations for a Prolog Compiler, J. Logic Programming 2(1):43-66 (1987).
6. Van Roy, P., and Despain, A., The Benefits of Global Dataflow Analysis for an Optimizing Prolog Compiler, in: North American Conf. on Logic Programming, Oct. 1990.
7. Van Roy, P., Can Logic Programming Execute as Fast as Imperative Programming, Ph.D. thesis, University of California, Berkeley, 1990.
8. Van Roy, P., 1983-1993: The Wonder Years of Sequential Prolog Implementation, J. Logic Programming (1994).
9. Sterling, L., and Shapiro, U., The Art of Prolog, MIT Press, 1986.
10. Taylor, A., ftp://ftp.cse.unsw.edu.au/pub/users/andrewt/prolog_benchmarks.gz.
11. Taylor, A., Removal of Dereferencing and Trailing in Prolog Compilation, in: Proc. 6th Int. Conf. on Logic Programming, July 1989.
12. Taylor, A., Lips on a MIPS: Results from a Prolog Compiler for a RISC, in: Proc. 7th Int. Conf. on Logic Programming, July 1990.
13. Taylor, A., High Performance Prolog Implementation, Ph.D. thesis, University of Sydney, ftp://cse.unsw.edu.au/pub/users/andrewt/phd_thesis.ps.gz, 1991.
14. Peng, C.-J., Madan, V. S., and Sohi, G. S., On the Adequacy of Direct Mapped Caches for Lisp and Prolog Data References Patterns, in: Proc. North American Conf. Logic Programming, Oct. 1989.
15. Warren, D. H. D., Applied Logic - Its Use and Implementation as a Programming Tool, Ph.D. thesis, University of Edinburgh, 1977.
16. Warren, D. H. D., An Abstract Prolog Instruction Set, Technical Report 309, SRI International, Menlo Park, CA, 1983.