Advertisement

A general model to implement DIF and FREEZE

  • P. Boizumault
Session 6a: Implementations And Databases
Part of the Lecture Notes in Computer Science book series (LNCS, volume 225)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Boizumault P., Sur la transformation de l'appel terminal en iteration dans un interprete Prolog, 2ndes journees Prolog du CNET, M. Dincbas editeur, (1983).Google Scholar
  2. Boizumault P., Etude de l'interpretation de Prolog Realisation en Lisp These de 3ieme cycle, Univ. Paris VI, (1985).Google Scholar
  3. Boizumault P., A classical implementation for Prolog-II, ESOP 86, Lecture Notes in Computer Science no 213, Springer-Verlag (1986).Google Scholar
  4. Bowen D.L., Byrd L.M., Clocksin W.F., A portable Prolog compiler, Logic Programming Workshop'83, (1983).Google Scholar
  5. Bruynooghe M., An interpreter for predicate logic programs, Report CW10, Katholieke Universiteit Leuven, (1976).Google Scholar
  6. Bruynooghe M., The memory management of Prolog implementations, Proc. Logic Programming Workshop, Debrecen, (1980).Google Scholar
  7. Clocksin W.F., Design and simulation of a Prolog sequential machine, New Generation Computing, vol 3, no1, (1985).Google Scholar
  8. Colmerauer A., Prolog-II: Manuel de reference et modele theorique, G.I.A., Univ. Aix-Marseille, (1982).Google Scholar
  9. Colmerauer A., Kanoui H., Van Caneghem M., Prolog bases theoriques et developpements actuesl, TSI vol 2 no4, (1983).Google Scholar
  10. Greussay P., X-Prolog-II: un Prolog-II experimental, Doc on line, Vax Litp, (1985).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., Universite Aix-Marseille, (1982).Google Scholar
  15. Van Caneghem M., L'anatomie de Prolog-II, These, 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

  • P. Boizumault
    • 1
    • 2
  1. 1.I.M.A.Angers
  2. 2.L.I.T.P.Paris Cedex 05

Personalised recommendations