Skip to main content
SpringerLink
Log in
Book cover

Programmiermethoden der Künstlichen Intelligenz pp 297–334Cite as

PROLOG — Logik-orientierte Programmierung (3)

  • Chapter

  • 69 Accesses

Part of the book series: Studienreihe Informatik ((STUDIENREIHE))

Zusammenfassung

1963 fand ein wichtiger Durchbruch auf dem Gebiete des Theorembeweisens statt: J.A. Robinson erfand das Resolutionsprinzip, d.h. die Verwendung einer Beweisregel für die Prädikatenlogik, die allein eine vollständige Schlußregelmenge darstellte und sich für maschinelle Beweise hervorragend eignete. Damit war ein neues logisches Verarbeitungsmodell ermöglicht, an dessen effizienter Realisierung man seitdem arbeitet.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   49.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   59.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. K.R. Apt, M.H. van Emden: Contributions to the Theory of Logic Programming. Journ. ACM, Vol. 29 (1982), No. 3, S. 841–862

    Article  MATH  Google Scholar 

  2. G. Battani, H. Meloni: Interpreteur du langage de programmation Prolog. Rapport Interne, Groupe Intelligence Artificielle, Universite Aix-Marseilles II, September 1973

    Google Scholar 

  3. K.H. Bläsius, G. Bürkert (Hrsg.): Deduktionssysteme. Oldenbourgh, München, 1987

    Google Scholar 

  4. D.G. Bobrow: If Prolog is the Answer, What is the Question? Proc. Intl. Conf. 5th Generation Computer Systems 1984, Amsterdam, 1984

    Google Scholar 

  5. D.G. Bobrow: If Prolog is the Answer, What is the Question? or What it Takes to Support AI Programming Paradigms. IEEE Trans. Software Engineering, Vol. SE-11 (1985), S. 1401–1408

    Article  Google Scholar 

  6. I. Bratko: Prolog Programming for Artificial Intelligence. Addison Wesley, Reading etc., 1986

    MATH  Google Scholar 

  7. M. Bruynooghe: Intelligent Backtracking for an Interpreter of Horn Clause Logic Programs. Coll. on Math. Logic in Programming. Salgotarjan, Hungary, 1978

    Google Scholar 

  8. W.D. Burnham, A.R. Hall: Prolog Programming and Applications. Macmillan, London, 1985

    Google Scholar 

  9. J.A. Campbell (ed.): Implementations of Prolog. Ellis Horwood Ltd., Chichester, 1984

    Google Scholar 

  10. M. van Caneghem: Prolog II, Version 1, manuel d’Utilisation. Rapport Interne, Groupe Intelligence Artificielle, Universite Aix-Marseille II, 1982

    Google Scholar 

  11. E. Charniak, D.V. McDermott: Introduction to Artificial Intelligence. Addison Wesley, Reading, etc., 1985

    MATH  Google Scholar 

  12. K.L. Clark, F.C. McCabe: micro-Prolog — Programming in Logic. Prentice Hall, Englewood Cliffs, 1984

    Google Scholar 

  13. K.L. Clark, F.C. McCabe: The Control Facilities of IC-Prolog, in [49]

    Google Scholar 

  14. W.F. Clocksin, C.S. Mellish: Programming in Prolog. Springer, Berlin etc., 1981

    MATH  Google Scholar 

  15. H. Coelho, J.C. Cotta, L.M. Pereira: How to Solve it with Prolog. 1982

    Google Scholar 

  16. J. Cohen: A View of the Origins and Development of Prolog. Comm. ACM, Vol. 31 (1988), No. 1, S. 26–37

    Article  Google Scholar 

  17. J. Cohen: Describing Prolog by its Interpretation and Compilation. Comm ACM, Vol. 28 (1985), No. 12, S. 1311–1324

    Article  Google Scholar 

  18. A. Colmerauer: Prolog in 10 Figures. Comm ACM, Vol. 28 (1985), No. 12, S. 1296–1310

    Article  MathSciNet  Google Scholar 

  19. A. Colmerauer: Prolog II manuel de Reference et Model Theoretique, Marseilles, März 1982

    Google Scholar 

  20. A. Colmerauer: Metamorphosis Grammars, in: L. Bolc (ed.): Natural Languages Communication with Computers. Springer, New York etc. 1978

    Google Scholar 

  21. A. Colmerauer, H. Kanoui, R. Pasero, P. Roussel: Un Systeme de Communication Homme-Machine en Francais. Rapport de Recherche CRI 72-18, Groupe Intelligence Artificielle, Universite Aix-Marseille II, Juni 1973

    Google Scholar 

  22. J.S. Conery, D.F. Kibler: AND-Parallelism in Logic Programs. 8th IJCAI Karlsruhe, 1983, S. 539-543

    Google Scholar 

  23. R. Cordes, R. Kruse, H. Langendörfer, H. Rust: Prolog — Eine methodische Einführung. Vieweg, Braunschweig, 1988

    Google Scholar 

  24. R.E. Davis: Logic Programming and Prolog — A Tutorial. IEEE Software, Vol. 2 (1985), No. 5, S. 53–62

    Article  Google Scholar 

  25. M. Dowson: A note on Micro-Planner, in [9]

    Google Scholar 

  26. H. Gallaire, J. Minker (eds.): Logic and Databases. New York, 1978

    Google Scholar 

  27. M.R. Genesereth, M.L. Ginsburg: Logic Programming. Comm. ACM, Vol. 28 (1985), No. 9, S. 933–941

    Article  MathSciNet  Google Scholar 

  28. M.R. Genesereth, N. Nilsson: Logical Foundations of Artificial Intelligence. M. Kaufmann Pub. Inc., Los Altos, 1987

    Google Scholar 

  29. F. Giannesini, H. Kanoui, R. Pasero, M. van Caneghem: Prolog. Addison-Wesley, Reading etc., 1986

    MATH  Google Scholar 

  30. C.C. Green: The Application of Theorem Proving to Question-Answering Systems. Stanford University, AI Project, AI Memo 96, Juni 1969

    Google Scholar 

  31. D. de Groot: Restricted AND-Parallelism. Proc. Intern. Conf. Fifth Generation Computer Systems 1984, S. 471-478

    Google Scholar 

  32. M. Hanus: Problemlösen mit Prolog. Teubner, Stuttgart, 1986

    Google Scholar 

  33. H. Hermes: Einführung in die mathematische Logik — Klassische Prädikatenlogik. Teubner, Stuttgart, 1976

    MATH  Google Scholar 

  34. C. Hewitt: How to Use What You Know. 4. IJCAI 1975, Tbilissi, S. 189

    Google Scholar 

  35. R. Hill: LUSH Resolution and its Completeness. DCL Memo 78, University of Edinburgh, 1974

    Google Scholar 

  36. C.J. Hogger: Introduction to Logic Programming. Academic Press, New York, 1984

    MATH  Google Scholar 

  37. G. Holland: Problemlösen mit micro-Prolog. Teubner, Stuttgart, 1986

    MATH  Google Scholar 

  38. H. Kanoui: Prolog II, Version 1, manuel d’Examples. Rapport Interne, Groupe Intelligence Artificielle, Universite Aix-Marseille II, 1982

    Google Scholar 

  39. H. Kleine Büning, S. Schmitgen: Prolog — Grundlagen und Anwendungen. Teubner, Stuttgart, 1986

    MATH  Google Scholar 

  40. F. Kluzniak: The’ Marseille Interpreter’ — A Personal Perspective, in [9]

    Google Scholar 

  41. W.A. Kornfeld: Equality for Prolog. 8th IJCAI, Karlsruhe, 1983, S. 514-519

    Google Scholar 

  42. R. Kowalski: The Early Years of Logic Programming. Comm. ACM, Vol. 31 (1988), No. 1, S. 38–43

    Article  Google Scholar 

  43. R. Kowalski: Logic for Problem Solving. North Holland Pub., Amsterdam, 1979

    MATH  Google Scholar 

  44. R. Kowalski, M. van Emden: The Semantics of Predicate Logic as Programming Language. JACM, Vol. 23 (1976), No. 4, S. 733–743

    Article  MATH  Google Scholar 

  45. R. Kowalski: Algorithm = Logic + Control. Comm.ACM, Vol. 22 (1979), No. 7, S. 572–595

    Article  Google Scholar 

  46. R. Kowalski: Predicate Logic as a Programming Language. IFIP-74, North Holland, Amsterdam, 1974

    Google Scholar 

  47. R. Kowalski, D. Kuehner: SL-Resolution with Selection Function. Art. Intell., Vol. 2 (1971), S. 227–260

    Article  MathSciNet  MATH  Google Scholar 

  48. J.W. Lloyd: Foundations of Logic Programming. Springer, New York etc., 1984

    Book  MATH  Google Scholar 

  49. D. McDermott: The Prolog-Phenomenon. Sigart Newletter, 1976

    Google Scholar 

  50. D. Michie (ed.): Expert Systems in the Micro Electronic Age. Edinburgh University Press, Edinburgh, 1979

    Google Scholar 

  51. L. Naish: An Introduction to MU-Prolog. Technical Report 82/2, Dept. of Computer Science, University of Melbourne, 1982

    Google Scholar 

  52. L. Naish: Automatic Generation of Control for Logic Programs. Journ. Logic Programming, Vol. 2 (1985), No. 3, S. 167

    Article  MATH  Google Scholar 

  53. M. Nilsson: The World’s Shortest Prolog Interpreter? in [9]

    Google Scholar 

  54. K.W. Ng, W.Y. Ma: Pitfalls in Prolog Programming. Sigplan Notices, Vol. 21 (1986), No. 4, S. 75–79

    Article  Google Scholar 

  55. U. Noelke, S. Savory: Prolog-Systeme im Vergleich. Angew. Informatik, Vol. 26 (1984), No. 3, S. 108–112

    Google Scholar 

  56. L.M. Pereira, A. Porto: An Interpreter of Logic Programs Using Selective Backtracking. Universidade de Lisboa, Dept. de Informatica, Rep. 3/80, Lissabon, 1980

    Google Scholar 

  57. D.A. Plaisted: The Occur-Check Problem in Prolog. New Generation Computing, Vol. 2 (1984), No. 4, S. 309–322

    Article  MATH  Google Scholar 

  58. Proc. 1984 Symposium on Logic Programming. 1984

    Google Scholar 

  59. J.A. Robinson: Logic Programming — Past, Present and Future. 5th Generation Computing, Vol. 1 (1983), No. 2, S. 107–124

    Article  Google Scholar 

  60. J.A. Robinson: The Logical Basis of Programming by Assertion and Query, in [49]

    Google Scholar 

  61. J.A. Robinson: A Machine-oriented Logic Based on the Resolution Principle. JACM, Vol. 12 (1965), No. 1, S. 227–234

    Article  Google Scholar 

  62. P. Roussel: Prolog — Manuel de Reference et d’Utilisation. Rapport de Recherche CNRS, Groupe Intelligence Artificielle, Universite Aix-Marseilles II, 1975

    Google Scholar 

  63. P. Roussel: Definition et Traitment de l’Egalite Formelle en Demonstration Automatique. These de 3eme Cycle, Groupe Intelligence Artificielle, Universite Aix-Marseilles II, 1972

    Google Scholar 

  64. P. Schnupp: Prolog. Hanser, München, 1986

    Google Scholar 

  65. G. Smolka: Making Control and Data Flow in Logic Programs Explicit. 1984 ACM Symposium on LISP and Functional Programming. ACM, New York, 1984

    Google Scholar 

  66. M.W. van Someren: Learning Prolog from a Book. AICOM, Vol. O (1987), No. 1, S. 43–47

    Google Scholar 

  67. R.A. Sosnowski: Prolog Dialects — A deja vu of BASICs. Sigplan Notices, Vol. 22 (1987), No. 6, S. 39–48

    Article  Google Scholar 

  68. L. Sterling, E. Shapiro: The Art of Prolog. MIT Press, Cambridge, 1986

    MATH  Google Scholar 

  69. P.A. Subrahmanyam: The “Software Engineering” of Expert Systems — Is Prolog Appropriate? IEEE Trans. Software Engineering, Vol. SE-11 (1985), No. 11, S. 1391–1400

    Article  Google Scholar 

  70. D.H.D. Warren: Implementing Prolog — Compiling Predicate Logic Programs. DAI Research Rep., No. 39, 40, University of Edinburgh, 1977

    Google Scholar 

  71. D.H.D. Warren, L.M. Pereira, F.C.N. Pereira: Prolog — The Language and its Implementation Compared With LISP. PROC. ACM Symp. Artificial Intelligence and Programming Languages. Sigplan Notices, Vol 12. (1977), No. 8, S. 109–115

    Article  Google Scholar 

  72. M.J. Wise: Prolog Multiprocessors. Prentice Hall, Hemel Hampstead, 1987

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Informationswissenschaften, Universität Konstanz, Postfach 5560, 7750, Konstanz, Deutschland

    Herbert Stoyan

Authors
  1. Herbert Stoyan
    View author publications

    You can also search for this author in PubMed Google Scholar

Rights and permissions

Reprints and permissions

Copyright information

© 1988 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Stoyan, H. (1988). PROLOG — Logik-orientierte Programmierung (3). In: Programmiermethoden der Künstlichen Intelligenz. Studienreihe Informatik. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-87954-8_10

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-87954-8_10

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-19418-7

  • Online ISBN: 978-3-642-87954-8

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation