Einführung (Prolog)

Aus Infostudium Wiki

Wechseln zu: Navigation, Suche
  • Fallspezifische Fakten 
wrote(terry, shrdlu).
wrote(bill, lunar).
wrote(roger, sam).
wrote(gottlob, begriffsschrift).
wrote(bertrand, principia).
wrote(alfred, principia).
book(begriffsschrift).
book(principia).
program(lunar).
program(sam).
program(shrdlu).
  • Elementare Anfragen sind Basisklauseln: 
?- wrote(terry,shrdlu).
yes
?- program(principia).
no
  • Variablen werden in Prolog mit einem Großbuchstaben am Anfang des Wortes geschrieben. 
?- wrote(Who, shrdlu).
Who = terry
yes
  • Nichtdeterministische Antworten: 
?- wrote(Who, principia).
Who = bertrand;
Who = alfred;
no
  • Vorsicht: Ein "no" bedeutet oft ich weiß nicht. 
?- wrote(Who, faust).
no
  • Frage nach der Kombination von Angaben: 
?- book(Book), wrote(Person,Book).
Person = gottlob
Book = begriffsschrift
  • Mit Semikolon kann nach den anderen Ergebnissen gefragt werden.
  • Regeln: 
atomare Formel :- Liste atomarer Formeln.
Die linke Seite heißt Kopf der Regel, die rechte Seite Rumpf.
  • Beispiel einer Regel: 
author(Person) :- book(Book), wrote(Person, Book).
Von „http://wiki.infostudium.de/wiki/Einf%C3%BChrung_(Prolog)“
Persönliche Werkzeuge