Advertisement

Perspektiven für die Logikprogrammierung

  • H. Kleine Büning
  • Th. Lettmann
Conference paper
Part of the Informatik-Fachberichte book series (INFORMATIK, volume 172)

Zusammenfassung

Die Logik spielt in der Wissensrepräsentation eine bedeutende Rolle. Schon lange vor dem Aufkommen wissensbasierter Systeme sind die Darstellung von Wissen und Schlußfolgerungsregeln und -verfahren untersucht worden. Ihre Anwendung in wissensbasierten Systemen hat aber auch zu neuen Fragestellungen geführt.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Literaturverzeichnis

  1. K.A.Bowen: Meta-Level Programming and Knowledge Representation, New Generation Computing, 3 (1985), 359–383CrossRefGoogle Scholar
  2. W.Clocksin, C.Mellish: Programming in PROLOG, Heidelberg: Springer-Verlag, 1984CrossRefGoogle Scholar
  3. M.J. Gordon, A.J.Milner, Chr.P.Wadsworth: Edinburgh LCF, Lecture Notes in Com¬puter Science 78Google Scholar
  4. J.H.Griesmer, R.D.Jenks: Scratchpad/1- An Interactive Facility for Symbolic Mathematics, Proc. 2nd Symp. on Symbolic and Algebraic Manipulation (ed. S.R.Petrick ), ACM, New York 1971Google Scholar
  5. E.Horowitz: Programming Languages, Heidelberg: Springer-Verlag, 1983CrossRefzbMATHGoogle Scholar
  6. H. Kleine Büning, S. Schmittgen: PROLOG, Stuttgart: Teubner, 1986CrossRefzbMATHGoogle Scholar
  7. H.Ito, H.Ueno: ZERO: Frame + Prolog, Proc. of the 4th Conf. on Logic Programming ‘85, LNCS 221, 1986Google Scholar
  8. R.Kowalski: Logic for Problem Solving, Amsterdam: North-Holland, 1985Google Scholar
  9. Newton S. Lee: Programming in P-shell, IEEE Expert, 1986Google Scholar
  10. J.W.Lloyd: Foundations of Logic Programming, Heidelberg: Springer-Verlag, 1984.CrossRefzbMATHGoogle Scholar
  11. E.Lusk, R.A.Overbeek: A Portable Enviroment for Research in Automated Reasoning, Proc.CADE-7, 43–52, 1984Google Scholar
  12. E.Lusk, R.A.Overbeek: Data Structures and Control Architecture for Implementation of Theorem-Proving Programs, LNCS 87 (1980)Google Scholar
  13. A.Mycroft, R.A.O’Keefe: A Polymorphie Type System for Prolog, Artificial Intelligence 23, 295–307, 1984CrossRefzbMATHMathSciNetGoogle Scholar
  14. J.Reynolds: Types, Abstraction and Parametric Polymorphism, Proc. IFIP 9th World Comp. Congr., R.E.A. Mason (ed.) 513–523, 1983Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1988

Authors and Affiliations

  • H. Kleine Büning
    • 1
  • Th. Lettmann
    • 2
  1. 1.Institut für Angewandte Informatik und Formale BeschreibungsverfahrenUniversität Karlsruhe (TU)KarlsruheGermany
  2. 2.Wissenschaftliches Zentrum HeidelbergIBM Deutschland GmbHHeidelbergGermany

Personalised recommendations