Preview
Unable to display preview. Download preview PDF.
References
Boizumault P., Sur la transformation de l'appel terminal en iteration dans un interprete Prolog, 2ndes journees Prolog du CNET, M. Dincbas editeur, (1983).
Boizumault P., Etude de l'interpretation de Prolog Realisation en Lisp These de 3ieme cycle, Univ. Paris VI, (1985).
Boizumault P., A classical implementation for Prolog-II, ESOP 86, Lecture Notes in Computer Science no 213, Springer-Verlag (1986).
Bowen D.L., Byrd L.M., Clocksin W.F., A portable Prolog compiler, Logic Programming Workshop'83, (1983).
Bruynooghe M., An interpreter for predicate logic programs, Report CW10, Katholieke Universiteit Leuven, (1976).
Bruynooghe M., The memory management of Prolog implementations, Proc. Logic Programming Workshop, Debrecen, (1980).
Clocksin W.F., Design and simulation of a Prolog sequential machine, New Generation Computing, vol 3, no1, (1985).
Colmerauer A., Prolog-II: Manuel de reference et modele theorique, G.I.A., Univ. Aix-Marseille, (1982).
Colmerauer A., Kanoui H., Van Caneghem M., Prolog bases theoriques et developpements actuesl, TSI vol 2 no4, (1983).
Greussay P., X-Prolog-II: un Prolog-II experimental, Doc on line, Vax Litp, (1985).
Kanoui H., Manuel d'exemples de Prolog-II, G.I.A, Univ. Aix-Marseille (1982).
Mac Cabe F.G., Micro-Prolog programmer's reference manual, Logic Programming Associates Ltd, (1981).
Mellish C.S., An alternative to structure-sharing in the implementation of a prolog interpreter, Proc. Logic Programming Workshop, (1980).
Van Caneghem M., Manuel d'utilisation de Prolog-II, G.I.A., Universite Aix-Marseille, (1982).
Van Caneghem M., L'anatomie de Prolog-II, These, Univ. Aix-Marseille, (1984).
Warren D.H.D., Implementing Prolog, D.A.I. research reports 39/40, Univ. Edinburgh, (1977).
Warren D.H.D., An improved Prolog implementation which optimizes tail recursion, Proc. Logic Programming Workshop, Debrecen, (1980).
Warren D.H.D., An abstract Prolog instruction set, Technical note 309, S.R.I. International, (1983).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1986 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Boizumault, P. (1986). A general model to implement DIF and FREEZE. In: Shapiro, E. (eds) Third International Conference on Logic Programming. ICLP 1986. Lecture Notes in Computer Science, vol 225. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16492-8_107
Download citation
DOI: https://doi.org/10.1007/3-540-16492-8_107
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-16492-0
Online ISBN: 978-3-540-39831-8
eBook Packages: Springer Book Archive