@article{ITA_1988__22_1_3_0, author = {Delahaye, Jean-Paul}, title = {S\'emantique logique et d\'enotationnelle des interpr\'eteurs {PROLOG}}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {3--42}, publisher = {EDP-Sciences}, volume = {22}, number = {1}, year = {1988}, mrnumber = {945922}, zbl = {0652.68025}, language = {fr}, url = {http://www.numdam.org/item/ITA_1988__22_1_3_0/} }
TY - JOUR AU - Delahaye, Jean-Paul TI - Sémantique logique et dénotationnelle des interpréteurs PROLOG JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1988 SP - 3 EP - 42 VL - 22 IS - 1 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1988__22_1_3_0/ LA - fr ID - ITA_1988__22_1_3_0 ER -
%0 Journal Article %A Delahaye, Jean-Paul %T Sémantique logique et dénotationnelle des interpréteurs PROLOG %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1988 %P 3-42 %V 22 %N 1 %I EDP-Sciences %U http://www.numdam.org/item/ITA_1988__22_1_3_0/ %G fr %F ITA_1988__22_1_3_0
Delahaye, Jean-Paul. Sémantique logique et dénotationnelle des interpréteurs PROLOG. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Volume 22 (1988) no. 1, pp. 3-42. http://www.numdam.org/item/ITA_1988__22_1_3_0/
[Apt 82] Contribution to the Theory of Logic Programming, Journal of the Association for Computing Machinery, 29. 3, 1982, p. 841-842. | MR | Zbl
et ,[Bla 82 a] The Undecidability of Two Completeness Notions for the "Negation as Failure Rule" in Logic Programming, Proceeding of the first Logic programming Conference, Van Caneghem éd., Marseille, 1982, p. 163-168.
,[Bla 82 b] The Recursion Theoretic Complexity of the Semantics of Predicate Logic as a Programming Language, Information and Control, vol. 54, 1982, p. 25-47). | MR | Zbl
,[Cla 78] Negation as Failure. Logic and Data Bases, H. GALLAiRE et J. MINKER éd., Plenum Press, New York, 1978, p. 293-324. | MR
,[Cla 79] Predicate Logic as a Computational Formalism, Res. Rep., Dep of Computing, Imperial College, London, 1979.
,[Col 82] Prolog II, Manuel de Référence et Modèle Théorique, Groupe d'Intelligence Artificielle, Univ. d'Aix-Marseille, 1982.
,[Del 86 a] Outils logiques pour l'intelligence artificielle, Eyrolles, Paris, 1986.
,[Del 86 b] Définitions de stratégies équitables en programmation logique, Actes du Séminaire de Programmation en Logique de Tregastel, 1986, p. 7-24.
et ,[Del 86 c] Sémantique logique et dénotationnelle des interpréteurs Prolog, Note IT 1986, Université des Sciences et Techniques de Lille.
,[Del 87] Effet de l'utilisation du coupe choix sur la sémantique déclarative de Prolog, Note IT 1987, Université des Sciences et Techniques de Lille.
,[Der 83] An Operational Algebraic Semantics of Prolog Programs, Actes du Séminaire de « Programmation en Logique », Mehmet Dincbas éd., C.N.E.T., Lannion, 1983.
,[Fit 85 a] A Deterministic Prolog Fixpoint SemanticsJ. of Logic Programming, vol. 2, 1985, p. 111-118. | MR | Zbl
,[Fit 85 b] A Kripke-Kleene Semantics for Logic Programs, J. of Logic Programming, vol. 4, 1985, p. 295-312. | MR | Zbl
,[Fla 86] The Consistency of Negation as Failure, J. Logic Programming, vol. 2, 1986, p. 93-114. | MR | Zbl
,[Hil 74] Lush-Resolution and its Completeness, Dep. of Artificial Intelligence, Univ. of Edinburgh, 1974.
,[JLL 83] Completeness of the Negation as Failure Rule, IJCAI-83 Karlsruhe, 1983, p. 500-506.
, et ,[Jon 84] Stepwise Development of Operational Semantics for PROLOG, I.E.E.E., 1984, p. 182-288.
et ,[Las 84] Closures and Fairness in Semantics of Programming Logic, T. C. S., 29, 1984, p. 167-184). | MR | Zbl
et ,[Llo 84] Foundation of Logic Programming, Springer-Verlag, New York, 1984. | MR
,[Rei 78] On Closed world Data Bases. Logic and Data Bases, H. GALLAIRE et J. MINKER, éd., Plenum Press, New York, 1978, p. 55-76. | MR
,[Rob 65] A Machine Oriented Logic Based on the Resolution Principle, J. of A.C.M., vol. 12, 1965. | MR | Zbl
,[She 84] Negation as Failure I and II, J. Logic Programming, vol. 1, 1984, p. 51-79, vol. 3, 1985, p. 185-202. | MR | Zbl
,[VEK 76] The Semantics of Predicate Logic as a Programming Language, J. A. C. M., vol. 23-4, 1976, p. 733-742. | MR | Zbl
et ,[VEA 85] Top-Down Semantics of Fair Computations of Logic Programs, J. of Logic Programming, vol. 1, 1985, p. 67-75. | MR | Zbl
et ,