PROLOG: PROgrammieren mit LOGik Eine Einführung

  • Helmar Gust
  • Michael König
Conference paper
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 159)

Zusammenfassung

Der vorliegende Beitrag ist eine Zusammenfassung des PROLOG-Kurses auf der KIFS 85. Dabei kann hier keine Darstellung sämtlicher Möglichkeiten von PROLOG erfolgen; vielmehr wollen wir versuchen, PROLOG anhand von Beispielen vorzustellen. Für eine tiefergehende Einführung in PROLOG und logische Programmierung empfehlen sich die Bücher von Clocksin/Mellish (“Programming in PROLOG”) und Kowalski (“Logik for Problem Solving”).

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literatur

  1. /Clocksin, Mellish 1981/.
    W. F. Clocksin, C. S. Mellish: “Programming in Prolog” Springer-Verlag, 1981MATHGoogle Scholar
  2. /Coelho, Cotta, Pereira 1980/.
    H. Coelho, J.C. Cotta, L.M. Pereira: “HOW TO SOLVE IT WITH PROLOG” Laboratorio Nacional de Engenharia Civil, Lisaboa, 1980Google Scholar
  3. /Colmerauer 1970/.
    A. Colmerauer: “Les systemes-Q ou une formalisme pour analyser et synthetise des phrases sur ordinateur”, Interner Bericht no. 43, Department d’Informatique, Universite de Montreal, Canada 1970Google Scholar
  4. /Colmerauer 1978/.
    A. Colemrauer: “Metamorphosis Grammers” in: L. Bolc (Ed.): “Natural Language Communication with Computers”, Springer-Verlag 1978Google Scholar
  5. /Colmerauer 1982/.
    A. Colemrauer: “PROLOG II Referenz Manual and Theoretical Model” Group de IA, UER de Luminy, Univ. d’Aix-Marseille 1982Google Scholar
  6. /Gordon 1985/.
    Thomas F. Gordon: “Objekt-Oriented Pradicate Logic and its Role in Representing Legal Knowlegde” Arbeitspapiere der GMD Nr. 135, Gesellschaft fuer Mathematik und Datenverarbeitung mbH, St. Augustin 1985Google Scholar
  7. /McCabe 1981/.
    F. G. McCabe: “Micro-PROLOG Programmer’s Reference Manual” Logic Programming Associates Ltd, London, 1981Google Scholar
  8. /Kowalski 1979/.
    R. Kowalski: “Logic for Problem Solving” North-Holland, 1979MATHGoogle Scholar
  9. /Naish 1984/.
    Lee Naish: “ALL SOLUTIONS PREDICATES IN PROLOG” Technical Report 84/4, Department of Computer Science, The University of Melbourne, 1984Google Scholar
  10. /Pereira, Warren 1980/.
    F.C.N. Perreira, D.H.D. Warren: “Definite Clause Grammers for Language Analysis A Survey of the Formalism and a Comparison with Augmented Transition Networks”, Artificial Intelligence 13, 1980Google Scholar
  11. /Pereira 1981/.
    F.C.N. Pereira: “Extraposition Grammers” American Journal of Computational Linguistics, Volume 7 Number 4, 1981Google Scholar
  12. /Robinson 1965/.
    J.A. Robinson: “A Machine Oriented Logic Based on the Resolution Principle”. Journal of the ACM 12, 1965Google Scholar
  13. /Warren 1979/.
    D.H.D. Warren: “Prolog on the DEC-system-l0” DAI Research Paper no. 127 University of Edinburgh, 1979Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • Helmar Gust
    • 1
  • Michael König
    • 2
  1. 1.Universität OsnabrückDeutschland
  2. 2.TU BerlinDeutschland

Personalised recommendations