Logikbasierte Programmierung

Die folgenden Aufgaben beziehen sich direkt auf die in der Vorlesung verwendete Linienfhrung und die vorgestellten Beispiele. Es empfiehlt sich also das Sktipt durchzuarbeiten, die Beispiele dazu sind jedoch in Prolog geschrieben.

Begriffe

Wiederholen Sie die Begriffe Relation und Prädikat aus der Mathematik.

Personen

Mann

Hier ein Beispiel für Prolog, es beschreibt die Mann Relation aus der Vorlesung die Syntax für eine Relation ist <relation>(<wert>[,<werte>]).</werte></wert></relation>

Mit der Syntax ? - <realtion>(<wert>).</wert></realtion> kann man abfragen ob ein wert zu dieser Relation gehört

<eval>?- mann(tobias).</eval> <eval>?- mann(heinrich).</eval>

Frau

Definieren Sie eine einstellige Relation frau nach dem Vorbild von mann mit den Elementen eva, daniela und ulrike.

<eval>%test für Frau</eval>

Mutter

<eval>? - mutter(eva,tobias).</eval> <eval>? - mutter(ulrike,tobias).</eval>

Vater

Definieren Sie eine zweistellige Relation vater nach dem Vorbild von mutter. Beziehungen

<eval>? - vater(tobias,frank).</eval>

Großvater

Fragen Sie nach dem Namen des Großvaters von Frank. Gibt es weitere Großväter, die sich aus unserer Wissensbasis ermitteln lassen?

Hinweis: Sie müssen dazu eine Regel erstellen die angiebt welche Regeln es zu befolgen gibt um den Großvater zu ereichen, in Prolog können sie auch mit einen Namen mehre regeln Verbinden.

Syntax

regelname(<variable>,[variablen]) :- 
:relation(<variable>,[variablen])
:[,relationen(<variable>,[variablen])].</variable></variable></variable>

<eval>grossvater(X,frank)</eval>