i

Prolog - Programmieren mit Logik

Ziel: Wissensmodellierung und Wissensanfragen

Wir betrachten weiterhin den Stammbaum der Halbgötter:

Stammbaum der Halbgötter[1]

Ziel ist es, mit einem Informatiksystem das Wissen über die Welt der griechischen Götter so zu erfassen, dass Anfragen wie "Wer ist ein Cousin von Hephaistos?" von diesem Informatiksystem automatisiert ausgewertet werden können.

Prolog

Wir benutzen die Programmiersprache Prolog zur Wissensmodellierung und zur Formulierung von Anfragen an die Wissensbasis.

Die folgende Abbildung zeigt die Arbeit mit dem SWI-Prolog-Editor als Prolog-Entwicklungsumgebung.

Prolog-Editor

Im oberen Fenster gibt man die Wissensbasis in Form von Fakten und Regeln (diese werden später thematisiert) ein.

Mit [Start][Consultieren] werden die vorgegebenen Fakten und Regeln in die Prolog-Wissensbasis übernommen.

Im unteren Fenster kann man jetzt Anfragen eingeben und vom Prolog-Interpreter auswerten lassen.

Zur Orientierung

In den folgenden Abschnitten wird zunächst auf die Wissenmodellierung und die Formulierung von Anfragen an die Wissensbasis eingegangen.

Im Abschnitt Auswertung von Anfragen wird dann das Auswertungskonzept genauer betrachtet.

Quellen

Suche

v
8.3.1.4
dev.inf-schule.de/deklarativ/logischeprogrammierung/modellierungwissen/station_prolog
dev.inf-schule.de/8.3.1.4
dev.inf-schule.de/@/page/6kY4PlRBXIJ4l5an

Rückmeldung geben