The limitations of partial evaluation

  • Frank van Harmelen
Chapter 4 Artificial Intelligence
Part of the Lecture Notes in Computer Science book series (LNCS, volume 381)


Logic Programming Partial Evaluation Stop Criterion Logical Inference Source Program 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [Beet87]
    M. Beetz. Specifying Meta-Level Architectures for Rule-Based Systems. Technical Report SEKI No. SR-87-06 (Diploma Thesis), Universität Kaiserslautern, Fachbereich Informatik, Kaiserlautern, 1987.Google Scholar
  2. [Bjor87]
    D. Bjorner, A.P. Ershov, and N.D. Jones, editors. Workshop on Partial Evaluation and Mixed Computation, Avernaes, Denmark, October 1987.Google Scholar
  3. [Chan88]
    D. Chan and M. Wallace. A treatment of negation during partial evaluation. In J. Lloyd, editor, Proceedings of the Meta'88 Workshop on meta-programming in logic programming, pages 227–240, Bristol, June 1988.Google Scholar
  4. [Gall86]
    J. Gallagher. Transforming logic programs by specialising interpreters. In Proceedings of the Seventh European Conference on Artificial Intelligence, ECAI '86, pages 109–122, Brighton, July 1986.Google Scholar
  5. [Harm88]
    F. van Harmelen and A. Bundy. Explanation-based generalisation = partial evaluation. Artificial Intelligence Journal, 30(3):401–412, October 1988.Google Scholar
  6. [Klee52]
    S. Kleene. Introduction to Metamathematics. Van Nostrand, New York, 1952.Google Scholar
  7. [Levi88]
    G. Levi. Object level reflection of inference rules by partial evaluation. In P. Maes and D. Nardi, editors, Meta-level architectures and reflection, North Holland Publishers, 1988.Google Scholar
  8. [Lloy84]
    J. Lloyd. Foundations of Logic Programming. Symbolic Computation Series, Springer Verlag, 1984.Google Scholar
  9. [Lloy87]
    J.W. Lloyd and J.C. Shepherdson. Partial evaluation in logic programming. Technical Report CS-87-09, Department of Computer Science, University of Bristol, 1987.Google Scholar
  10. [Lloy88]
    J. Lloyd, editor. Proceedings of the Meta '88 Workshop on meta-programming in logic programming, Bristol, June 1988.Google Scholar
  11. [Lowe88]
    H. Lowe. Empirical Evaluation of Meta-Level Interpreters. Master's thesis, Department of Artificial Intelligence, University of Edinburgh, 1988.Google Scholar
  12. [Mitc86]
    T.M. Mitchell, R.M. Keller, and S.T. Kedar-Cabelli. Explanation-based generalization: a unifying view. Machine Learning, 1(1):47–80, 1986.Google Scholar
  13. [O'Ke88]
    R. O'Keefe. Practical prolog for real programmers. August 1988. Tutorial No. 8 of the Fifth Internation Conference and Symposium on Logic Programming, Seattle.Google Scholar
  14. [Owen88a]
    S. Owen. The development of explicit interpreters and transformers to control control reasoning about protein topology. Technical Memo HPL-ISC-TM-88-015, Hewlett-Packard Laboratories Bristol Research Centre, 1988.Google Scholar
  15. [Owen88b]
    S. Owen. Issues in the partial evaluation of meta-interpreters. In J. Lloyd, editor, Proceedings of the Meta'88 Workshop on meta-programming in logic programming, pages 241–254, Bristol, June 1988.Google Scholar
  16. [Prie87]
    A.E. Priedites and J. Mostow. PROLEARN: towards a Prolog interpreter that learns. In Proceedings of AAAI-87, American Association for Artificial Intelligence, Seattle, Washington, July 1987.Google Scholar
  17. [Rose83]
    J.S. Rosenschein and V. Singh. The Utility of Meta-level Effort. Technical Report No. HPP-83-20, Stanford Heuristic Programming Project, March 1983.Google Scholar
  18. [Safr86]
    S. Safra and E. Shapiro. Meta Interpreters for Real. Technical Report No. CS86-11, Department of Computer Science, The Weizmann Institute of Science, May 1986.Google Scholar
  19. [Ster86]
    L.Stuterling and R.D. Beer. Incremental flavor-mixing of meta-interpreters for expert system construction. In Proceedings of the 3rd Symposium on Logic Programming, pages 20–27, Salt Lake City, Utah, September 1986.Google Scholar
  20. [Take85]
    T. Takewaki, A. Takeuchi, S. Kunifuji, and K. Furukawa. Application of Partial Evaluation to the Algebraic Manipulation System and its Evaluation. Technical Report TR-148, Tokyo, ICOT Research Centre, December 1985.Google Scholar
  21. [Take86]
    A. Takeuchi and K. Furukawa. Partial evaluation of Prolog programs and its application to meta programming. In Proceedings of IFIPS '86, Dublin, 1986.Google Scholar
  22. [Tarn77]
    S. Tarnlund. Horn clause computability. BIT, 17:215–226, 1977.Google Scholar
  23. [Venk84]
    R. Venken. A Prolog meta-interpreter for partial evaluation and its application to source to source transformation and query-optimisation. In Proceedings of the Sixth European Conference on Artificial Intelligence, ECAI '84, pages 91–100, Pisa, September 1984.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1989

Authors and Affiliations

  • Frank van Harmelen
    • 1
  1. 1.Department of Artificial IntelligenceUniversity of EdinburghEdinburghScotland

Personalised recommendations