Free Access
Issue
RAIRO-Theor. Inf. Appl.
Volume 22, Number 1, 1988
Page(s) 3 - 42
DOI https://doi.org/10.1051/ita/1988220100031
Published online 01 February 2017
  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. [MR: 666781] [Zbl: 0483.68004] [Google Scholar]
  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. [Google Scholar]
  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). [MR: 713306] [Zbl: 0527.03022] [Google Scholar]
  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. [MR: 539848] [Google Scholar]
  5. [Cla 79] K. L. CLARK, Predicate Logic as a Computational Formalism, Res. Rep., Dep of Computing, Imperial College, London, 1979. [Google Scholar]
  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. [Google Scholar]
  7. [Del 86 a] J. P. DELAHAYE, Outils logiques pour l'intelligence artificielle, Eyrolles, Paris, 1986. [Google Scholar]
  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. [Google Scholar]
  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. [Google Scholar]
  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. [Google Scholar]
  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. [Google Scholar]
  12. [Fit 85 a] M. FITTING, A Deterministic Prolog Fixpoint SemanticsJ. of Logic Programming, vol. 2, 1985, p. 111-118. [MR: 798931] [Zbl: 0592.68021] [Google Scholar]
  13. [Fit 85 b] M. FITTING, A Kripke-Kleene Semantics for Logic Programs, J. of Logic Programming, vol. 4, 1985, p. 295-312. [MR: 818647] [Zbl: 0589.68011] [Google Scholar]
  14. [Fla 86] T. FLANNAGAM, The Consistency of Negation as Failure, J. Logic Programming, vol. 2, 1986, p. 93-114. [MR: 902721] [Zbl: 0598.68064] [Google Scholar]
  15. [Hil 74] R. HILL, Lush-Resolution and its Completeness, Dep. of Artificial Intelligence, Univ. of Edinburgh, 1974. [Google Scholar]
  16. [JLL 83] J. JAFFAR, J. L. LASSEZet L. LLOYD, Completeness of the Negation as Failure Rule, IJCAI-83 Karlsruhe, 1983, p. 500-506. [Google Scholar]
  17. [Jon 84] N. D. JONESet A. MYCROFT, Stepwise Development of Operational Semantics for PROLOG, I.E.E.E., 1984, p. 182-288. [Google Scholar]
  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). [MR: 742407] [Zbl: 0547.68034] [Google Scholar]
  19. [Llo 84] J. LLOYD, Foundation of Logic Programming, Springer-Verlag, New York, 1984. [MR: 766562] [Google Scholar]
  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. [MR: 539848] [Google Scholar]
  21. [Rob 65] J. A. ROBINSON, A Machine Oriented Logic Based on the Resolution Principle, J. of A.C.M., vol. 12, 1965. [MR: 170494] [Zbl: 0139.12303] [Google Scholar]
  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. [MR: 754304] [Zbl: 0603.68094] [Google Scholar]
  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. [MR: 455509] [Zbl: 0339.68004] [Google Scholar]
  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. [MR: 793106] [Zbl: 0592.68019] [Google Scholar]

Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.

Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.

Initial download of the metrics may take a while.