A classical implementation for Prolog-II

  • Patrice Biozumault
  • Patrice Boizumault
Logic Programming
Part of the Lecture Notes in Computer Science book series (LNCS, volume 213)


The aim of this paper is to reconcile the particular needs of Prolog-II with the "classical" three stacks architecture, thereby regaining an optimal memory management. To achieve this goal, we introduce a fourth stack (stack of frozen goals) specially to manage the coroutines. And we show that all classical mechanisms used for optimally recovering space can be directly applied.


Memory Management Control Part Execution Environment Choice Point Structure Sharing 
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.


  1. Boizumault P., Sur la transformation de l'appel terminal en itération dans un interprète Prolog, 2ndes journées Prolog du CNET, M. Dincbas éditeur, (1983).Google Scholar
  2. Boizumault P., Etude de l'interprétation de Prolog Réalisation en Lisp Thèse de 3ème cycle, Univ. Paris VI, (1985).Google Scholar
  3. Bowen D.L., Byrd L.M., Clocksin W.F., A portable Prolog compiler, Logic Programming Workshop'83, (1983).Google Scholar
  4. Bruynooghe M., An interpreter for predicate logic programs, Report CW10, Katholieke Universiteit Leuven, (1976).Google Scholar
  5. Bruynooghe M., The memory management of Prolog implementations, Proc. Logic Programming Workshop, Debrecen, (1980).Google Scholar
  6. Clocksin W.F., Design and simulation of a Prolog sequential machine, New Generation Computing, vol 3, no1, (1985).Google Scholar
  7. Colmerauer A., Prolog-II: Manuel de référence et modèle théorique, G.I.A., Univ. Aix-Marseille, (1982).Google Scholar
  8. Colmerauer A., Kanoui H., Van Caneghem M., Prolog bases théoriques et développements actuels, TSI vol 2 no4, (1983).Google Scholar
  9. Greussay P., Contribution à la définition interprétative et à l'implémentation des Lamda-langages, Thèse, Univ. Paris VII, (1977).Google Scholar
  10. Greussay P, Le système Vlisp, Documentation en ligne, Greco de Programmation, (1982).Google Scholar
  11. Kanoui H., Manuel d'exemples de Prolog-II, G.I.A., Univ. Aix-Marseille (1982).Google Scholar
  12. Mac Cabe F.G., Micro-Prolog programmer's reference manual, Logic Programming Associates Ltd, (1981).Google Scholar
  13. Mellish C.S., An alternative to structure-sharing in the implementation of a prolog interpreter, Proc. Logic Programming Workshop, (1980).Google Scholar
  14. Van Caneghem M., Manuel d'utilisation de Prolog-II, G.I.A., Université Aix-Marseille, (1982).Google Scholar
  15. Van Caneghem M., L'anatomie de Prolog-II, Thèse, Univ. Aix-Marseille, (1984).Google Scholar
  16. Warren D.H.D., Implementing Prolog, D.A.I. research reports 39/40, Univ. Edinburgh, (1977).Google Scholar
  17. Warren D.H.D., An improved Prolog implementation which optimizes tail recursion, Proc. Logic Programming Workshop, Debrecen, (1980).Google Scholar
  18. Warren D.H.D., An abstract Prolog instruction set, Technical note 309, S.R.I. International, (1983).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Patrice Biozumault
    • 1
  • Patrice Boizumault
    • 2
  1. 1.Institut de Mathématiques AppliquéesAngers Cedex
  2. 2.LITPParis Cedex 05

Personalised recommendations