Einführung in PROLOG. Christian Stocker

Transkript

1 Einführung in PROLOG Christian Stocker

2 Inhalt Was ist PROLOG? Der PROLOG- Interpreter Welcher Interpreter? SWI-Prolog Syntax Einführung Fakten, Regeln, Anfragen Operatoren Rekursion Listen Cut Funktionsweise So arbeitet Prolog Warrens Abstrakte Maschine Codebeispiele Zusammenfassung

3 Was ist PROLOG? (1) PROLOG = Programming in Logic 1972 von Alain Colmerauer entwickelt Keine prozedurale Programmiersprache sondern eine deklarative mit prozeduralen Elementen Nichtlineares Programmieren wird betrieben Maschinensprache des Logikprozessors Prolog wird Interpretiert Interpreter erstmals in LISP programmiert

4 Was ist PROLOG? (2) Prolog-Programm besteht nur aus Datenbasis Es wird beschrieben, WAS das Problem ist, nicht jedoch wie dieses zu lösen ist Arbeitet auf Prädikatenlogik Prolog-Programm ist Sammlung von Hornklauseln

5 Der PROLOG-Interpreter(1) SWI-Prolog Wird hier für Beispiele benützt Für Windows, Linux und MacOS verfügbar Gnu-Prolog Für Constraint Programming besser geeignet Für Windows und Linux verfügbar Qu-Prolog Minerva SICStus Prolog

6 SWI-Prolog(1) Leistungsfähiger Prolog-Interpreter Entwickelt auf Uni Amsterdam Freeware Sehr große Bibliothek Installationen für Windows, Linux und MacOS verfügbar Integrierter Debugger Basiert auf einer eingeschränkten Version der Warren Abstract Machine

7 SWI-Prolog(2) Start auf Shell mit pl Prolog-Files mit Texteditor schreiben Programm im Interpreter öffnen: [name]. Oder consult(name). Anfrage aus Interpreter stellen Interpreter beenden: halt. Hilfe mit help(topic) oder apropos(topic)

8 Syntax Einführung Fakten, Regeln, Anfragen Operatoren Rekursion Listen Cut

9 Syntax/Einführung Prolog Statements werden immer mit Punkt (.) abgeschlossen Prädikate und Konstanten werden klein geschrieben Variablen beginnen mit Großbuchstaben Unterscheidung zwischen Fakten Regeln Anfragen Einzeilige Kommentare: % <Comment> Mehrzeilige: /* <Comment> */

10 Syntax/ Fakten, Regeln, Anfragen Fakten Beispiel: John ist männlich : maennlich(john). Beispiel: John mag Mary : mag(john,mary). Ein Fakt besteht aus einem Prädikat und dessen Argumenten. Die Anzahl der Argumente beschreibt die Stelligkeit Ein Fakt kann beliebig viele Argumente haben Ein Fakt muss immer mit einem Kleinbuchstabe beginnen

11 Syntax/ Fakten, Regeln, Anfragen Regeln Regeln drücken die Abhängigkeit eines Faktums von einem oder mehreren anderen Fakten aus Bsp: Mary mag jeden, der Wein mag mag(mary,x) :- mag(x,wein). :- kann als umgedrehter Implikationspfeil gelesen werden Die linke Seite ist wahr, wenn die rechte Seite bewiesen werden kann X ist eine Variable, mary und wein sind Konstanten

12 Syntax/ Fakten, Regeln, Anfragen Regeln Ein Komma zwischen zwei Fakten auf der rechten Seite entspricht einer logischen UND Verknüpfung Ein Semikolon entspricht einem logischen ODER Bsp: eltern(x,y) :- vater(x,y); mutter(x,y). opa(x,y) :- vater (X,Z), vater(z,y). Mit not kann eine Klausel verneint werden mann(x) :- not frau(x). Regeln müssen als Hornklauseln formuliert werden.

13 Syntax/ Fakten, Regeln, Anfragen Anfragen Anfragen werden im Prolog-Interpreter gestellt Beispiel: Ist John männlich??- maennlich(john). Interpreter antwortet mit yes, wenn dies Beweisbar ist. Beispiel: Wen mag Mary??- mag(mary,x). Interpreter antwortet mit X=john Falls es mehrere Antworten gibt, kann mit 'n' die nächste Antwort angesehen werden.

14 Syntax/ Fakten, Regeln, Anfragen Anfragen Analog zu den Regeln können auch hier logische Verknüpfungen angewandt werden. '_' steht für ein leeres Argument. Hier ist es sozusagen egal, was an dieser Stelle gilt. Beispiel: Wer mag alles irgendjemanden??- mag(x,_).

15 Syntax/Operatoren :- Regeloperator == Gleichheitsoperator =:= Gleichheitsoperator für Zahlenwerte \= Ungleichungsoperator >= Größer/Gleich =< Kleiner/Gleich is Zuweisungsoperator für Zahlenwerte not Verneinung für Klauseln * / + - Rechenoperationen

16 Syntax/Rekursion Ohne Rekursion grosselter(x,y):- elter(x,z), elter(z,y). urgrosselter(x,y):- elter(x,z), grosselter(z,y). ururgrosselter(x,y):- elter(x,z), urgrosselter(z,y). urururgrosselter(x,y):- elter(x,z),ururgrosselter(z,y).

17 Syntax/Rekursion Mit Rekursion vorfahr(x,y) :- elter(x,y). vorfahr(x,y) :- elter(x,z), vorfahr(z,y). Rekursion in Prolog analog zu anderen bekannten Programmiersprachen

18 Syntax/Listen Listen werden durch eckige Klammern definiert. Listen können Elemente mit unterschiedlichen Typen aufnehmen. Beispiele: [1,2,3,4,5] [1,2,3,[4,5]] [hugo,'hallo',4,5,mag(john,mary)] [] leere Liste [Head Tail] = [1,2,3,4] Head=1 Tail=[2,3,4]

19 Syntax/Listen Bestimmen der Länge einer Liste list_length([],0). list_length([h T],N) :- list_length(t,m),n is M+1. Prüfen, ob Element in Liste vorhanden member(e,[e T]). member(e,[h,t] :- member(e,t). Listen anhängen append([1,2,3],[4,5],target).

20 Syntax/Cut Beispiel: loesung(x):-zahl(x),x =:= 2*X-4. zahl(1). zahl(n) :- zahl(m), N is M+1. Problem: Programm findet zwar Lösung X=4 aber es termiert nicht. Lösung: loesung(x):-zahl(x),x=:= 2*X-4,!. Cut verhindert weiteres Backtracking nach gefundener Lösung

21 Funktionsweise So arbeitet PROLOG Warrens Abstrakte Maschine

22 So arbeitet PROLOG PROLOG vergleicht eine Anfrage der Reihe nach mit den Fakten aus der Datenbasis. Eine Variable kann mit jeder Konstante matchen. Werden mehrere Ziele benötigt, versucht Prolog erst das erste und schaut, ob das nächste Ziel erfüllt werden kann, ansonsten kommt es zum Backtracking. Bsp:?- elter(daisy,x), maennl(x). Trifft maennl(x) nicht zu, wird X zurückgesetzt und neu belegt.

23 Warren's abstrakte Maschine Prolog wird in einen Zwischencode (ähnl. Java, managed.net) übersetzt. Dieser Zwischencode wird von der WAM interpretiert und ausgeführt. Die WAM ist eine Virtuelle Machine. Es ist somit möglich WAM Code auf jeder Hardware zu betreiben. In SWI-Prolog arbeitet eine sehr eingeschränkte WAM. Literatur: Warren's Abstract Machine - a tutorial reconstruction

24 Beispiele Ein Familienstammbaum Einfärben von Flächen Ein mathematisches Rätsel

25 Ein Familienstammbaum

26 Einfärben von Flächen Farben rot, blau, gelb für Einfärbung verfügbar

27 Ein mathematisches Rätsel ABB - CD = EED - - * FD + EF = CF = = = EGD * FH =???

28 Zusammenfassung Was ist PROLOG? Der PROLOG- Interpreter Welcher Interpreter? SWI-Prolog Syntax Einführung Fakten, Regeln, Anfragen Operatoren Rekursion Listen Cut Funktionsweise So arbeitet Prolog Warrens Abstrakte Maschine Codebeispiele

29 Ende Unterlagen zum Vortrag auf /pub/stud/stud/stockerc/prolog/ (C)2006 Christian Stocker