- Bugl89 Bugliesi, M. and Russo, F. Partial Evaluation in Prolog: Some Improvements about Cut, Logic Programming, Proceedings of the North American Conference, 1989, MIT PressGoogle Scholar
- Fuch88 New Generation Computing, 6 (1988), Special issue: selected papers from the Workshop on Partial Evaluation and Mixed Computation, ed. K. Fuchi, Ohmsha. Ltd/Springer-Verlag, 1988Google Scholar
- Komo81 Komorowski, H.J., A specification of an abstract Prolog machine and its application to partial evaluation, Phi) thesis, No 69, Software Systems Research Center, Link6ping University, 1981.Google Scholar
- Lakh89 Lakhotia, A. ,ProMiX: a Prolog Partial Evaluation System. Tech. Rept. CES-89-05, Department of Computer Engineering and Science, Case Western Reserve University, 1989Google Scholar
- Lakh90 1.2khotia, A. and Sterling, L., ProMiX: a Prolog Partial Evaluation System, in {Ster90}Google Scholar
- LeSa88 Levi, G. and Sardu, G., Partial Evaluation of Metaprograms in a "Multiple Worlds" Logic Language, in {Fuch88} Google ScholarDigital Library
- Mell85 Mellish, C.S., Some global optimizations for a Prolog compiler, J. Logic Programming 1985:1, pp. 43-66Google ScholarCross Ref
- Mell87 Mellish, C.S., Abstract interpretation of PROLOG programs, in Abstract Interpretation of Declarative Languages, eds. Abramsky, S. and Hankin, C., Ellis Horwood and John Wiley&sons, pp. 181-198, 1987Google Scholar
- Owen89 Owen, S., Issues in the Partial Evaluation of Meta- Interpreters, in Meta-Progr ammin g in Logic Programming, The MIT Press, pp 319-339 Google Scholar
- Sahl90 Sahlin, D., The Mixtus Approach to Automatic Partial Evaluation for Full ProIog, in Proceedings of the North American Conference on Logic Programming, MIT Press, 1990 Google ScholarDigital Library
- Sahl91 Sahlin, D.,An Automatic Partial Evaluator for Full Prolog, PhD Thesis, The Royal Institute of Technology and SICSGoogle Scholar
- Ster90 Sterling, L., The Practice ofProlog, MIT Press 1990 Google ScholarDigital Library
- Venk84 Venken,R., A Prolog meta-interpreter for partial evaluation and its application to source-to-source transformation and query optimisation, Proc. ECAI'84, Pisa 1984Google Scholar
Index Terms
- Determinacy analysis for full Prolog
Recommendations
Towards a jitting VM for prolog execution
PPDP '10: Proceedings of the 12th international ACM SIGPLAN symposium on Principles and practice of declarative programmingMost Prolog implementations are implemented in low-level languages such as C and are based on a variation of the WAM instruction set, which enhances their performance but makes them hard to write. In addition, many of the more dynamic features of Prolog ...
Comments