Logikbasierte Programmierung

Aus ProgrammingWiki
Archivierte Version vom 2011-01-10T19:12:51+00:00. Aktuelle Version

Inhaltsverzeichnis

Zur Übungsübersicht

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.

'''Hinweis in Prolog wird ?- Voran gestellt was hier aber durch die Ausführungsbox Automatisch geschieht





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




Mutter






Vater
Definieren Sie eine zweistellige Relation vater nach dem Vorbild von mutter.
Beziehungen
Vater!Sohn
adam|tobias
tobias|frank
tobias,ulrike




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]) :- 
:regel(<variable>,[variablen])
:[,regeln(<variable>,[variablen])].</variable></variable></variable>




Rekursion
Schreiben Sie in Prolog eine Funktion die die Fibanocci Zahlen aus gibt.
Hinweis Mit is kann man Variablenwerte zuweisen.
Vergessen Sie nicht die Rekursionsabbrüche als eigene Regeln dar zu stellen.




Zusatz
Einsteins Rätsel
Dies ist eine Version des Zebrarätsels. Es wurde angeblich von Einstein im 19. Jahrhundert verfasst. Einstein wird oft der Vermerk zugeschrieben, nur 2 % der Weltbevölkerung seien im Stande, das Rätsel zu lösen. Es existiert jedoch kein Hinweis auf jedwede Autorenschaft. Hier soll es ein Beispiel für ein Problem darstellen, das mit Prolog lösbar ist.
Aufgabe mit Lösung
Bedingungen
Es gibt fünf Häuser mit je einer anderen Farbe.
In jedem Haus wohnt eine Person anderer Nationalität.
Jeder Hausbewohner bevorzugt ein bestimmtes Getränk, raucht eine bestimmte Zigarettenmarke und hält ein bestimmtes Haustier.
Keine der fünf Personen trinkt das gleiche Getränk, raucht die gleichen Zigaretten oder hält das gleiche Tier wie seine Nachbarn.
Frage: Wem gehört der Fisch?
Hinweise
Der Brite lebt im roten Haus.
Der Schwede hält einen Hund.
Der Däne trinkt gern Tee.
Das grüne Haus steht direkt links neben dem weißen Haus.
Der Besitzer des grünen Hauses trinkt Kaffee.
Die Person, die Pall Mall raucht, hält einen Vogel.
Der Mann, der im mittleren Haus wohnt, trinkt Milch.
Der Besitzer des gelben Hauses raucht Dunhill.
Der Norweger wohnt im ersten Haus.
Der Marlboro-Raucher wohnt neben dem, der eine Katze hält.
Der Mann, der ein Pferd hält, wohnt neben dem, der Dunhill raucht.
Der Winfield-Raucher trinkt gern Bier.
Der Norweger wohnt neben dem blauen Haus.
Der Deutsche raucht Rothmans.
Der Marlboro-Raucher hat einen Nachbarn, der Wasser trinkt.






Zur Übungsübersicht