Sémantique logique et dénotationnelle des interpréteurs PROLOG

 Access to full text

 Full (PDF)

1. [Apt 82] K. APTet M. VAN EMDEN, Contribution to the Theory of Logic Programming, Journal of the Association for Computing Machinery, 29. 3, 1982, p. 841-842. Zbl0483.68004MR666781
2. [Bla 82 a] H. A. BLAIR, 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. 
3. [Bla 82 b] H. A. BLAIR, The Recursion Theoretic Complexity of the Semantics of Predicate Logic as a Programming Language, Information and Control, vol. 54, 1982, p. 25-47). Zbl0527.03022MR713306
4. [Cla 78] K. L. CLARK, Negation as Failure. Logic and Data Bases, H. GALLAiRE et J. MINKER éd., Plenum Press, New York, 1978, p. 293-324. MR539848
5. [Cla 79] K. L. CLARK, Predicate Logic as a Computational Formalism, Res. Rep., Dep of Computing, Imperial College, London, 1979. 
6. [Col 82] A. COLMERAUER, Prolog II, Manuel de Référence et Modèle Théorique, Groupe d'Intelligence Artificielle, Univ. d'Aix-Marseille, 1982. 
7. [Del 86 a] J. P. DELAHAYE, Outils logiques pour l'intelligence artificielle, Eyrolles, Paris, 1986. 
8. [Del 86 b] J. P. DELAHAYEet P. PARADINAS, Définitions de stratégies équitables en programmation logique, Actes du Séminaire de Programmation en Logique de Tregastel, 1986, p. 7-24. 
9. [Del 86 c] J. P. DELAHAYE, Sémantique logique et dénotationnelle des interpréteurs Prolog, Note IT 1986, Université des Sciences et Techniques de Lille. 
10. [Del 87] J. P. DELAHAYE, 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. 
11. [Der 83] P. DERANSART, An Operational Algebraic Semantics of Prolog Programs, Actes du Séminaire de « Programmation en Logique », Mehmet Dincbas éd., C.N.E.T., Lannion, 1983. 
12. [Fit 85 a] M. FITTING, A Deterministic Prolog Fixpoint SemanticsJ. of Logic Programming, vol. 2, 1985, p. 111-118. Zbl0592.68021MR798931
13. [Fit 85 b] M. FITTING, A Kripke-Kleene Semantics for Logic Programs, J. of Logic Programming, vol. 4, 1985, p. 295-312. Zbl0589.68011MR818647
14. [Fla 86] T. FLANNAGAM, The Consistency of Negation as Failure, J. Logic Programming, vol. 2, 1986, p. 93-114. Zbl0598.68064MR902721
15. [Hil 74] R. HILL, Lush-Resolution and its Completeness, Dep. of Artificial Intelligence, Univ. of Edinburgh, 1974. 
16. [JLL 83] J. JAFFAR, J. L. LASSEZet L. LLOYD, Completeness of the Negation as Failure Rule, IJCAI-83 Karlsruhe, 1983, p. 500-506. 
17. [Jon 84] N. D. JONESet A. MYCROFT, Stepwise Development of Operational Semantics for PROLOG, I.E.E.E., 1984, p. 182-288. 
18. [Las 84] J. L. LASSEZet M. J. MAHER, Closures and Fairness in Semantics of Programming Logic, T. C. S., 29, 1984, p. 167-184). Zbl0547.68034MR742407
19. [Llo 84] J. LLOYD, Foundation of Logic Programming, Springer-Verlag, New York, 1984. MR766562
20. [Rei 78] R. REITER, On Closed world Data Bases. Logic and Data Bases, H. GALLAIRE et J. MINKER, éd., Plenum Press, New York, 1978, p. 55-76. MR539848
21. [Rob 65] J. A. ROBINSON, A Machine Oriented Logic Based on the Resolution Principle, J. of A.C.M., vol. 12, 1965. Zbl0139.12303MR170494
22. [She 84] J. C. SHEPHERDSON, Negation as Failure I and II, J. Logic Programming, vol. 1, 1984, p. 51-79, vol. 3, 1985, p. 185-202. Zbl0603.68094MR754304
23. [VEK 76] M. H. VAN EMDEM et R. V. KOWALSKI, The Semantics of Predicate Logic as a Programming Language, J. A. C. M., vol. 23-4, 1976, p. 733-742. Zbl0339.68004MR455509
24. [VEA 85] M. H. VAN EMDEM et M. A. NAIT ABDALLAH, Top-Down Semantics of Fair Computations of Logic Programs, J. of Logic Programming, vol. 1, 1985, p. 67-75. Zbl0592.68019MR793106

1. G. Blanc, K. Liogier, Négation constructive et axiomatique interne