Advertisement

Prolog pp 36-71 | Cite as

Elementare Prädikatenlogik

  • Hans Kleine Büning
  • Stefan Schmitgen
Chapter
  • 40 Downloads
Part of the Leitfäden der angewandten Informatik book series (XLAI)

Zusammenfassung

Vom Ansatz und der Idee ist Prolog eine Programmiersprache, in der die vorliegenden Probleme in der Sprache der Logik beschrieben werden. Die positive Beantwortung einer Frage ist dann nichts anderes als die Feststellung, daß der gefragte Sachverhalt aus der Programmformel folgt. Diese Idee spiegelt sich wieder in dem Namen PROLOG als eine Abkürzung für PROgramming in LOGic.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© B. G. Teubner Stuttgart 1988

Authors and Affiliations

  • Hans Kleine Büning
    • 1
  • Stefan Schmitgen
    • 1
  1. 1.Universität-GH-DuisburgDeutschland

Personalised recommendations