Referat für Vorlesung "Logik und Berechenbarkeit": Familiendatenbank in Prolog (13 Punkte)

Prolog 64.2%
TeX 30%
Python 5.8%

Find a file

Uwe Krause 8d236ccf89 compare prolog tests with python tests		2021-05-12 02:36:24 +02:00
praesentation	Umformung fuer git Readme	2017-09-17 21:32:32 +02:00
src	Init	2017-09-08 21:28:43 +02:00
.gitignore	https://www.toptal.com/developers/gitignore/api/pycharm+all	2021-05-12 01:32:53 +02:00
Deduktive_Datenbanken_und_Unifikation_-_Teil_1_Familien-Datenbank.pdf	Typo im Dateinamen	2017-09-10 17:08:57 +02:00
LICENSE	Create LICENSE	2017-09-08 21:32:19 +02:00
prolog.py	compare prolog tests with python tests	2021-05-12 02:36:24 +02:00
README.md	ergänze Hinweis auf Nachtrag: Ausführung mit Python	2021-05-12 02:06:18 +02:00

README.md

haw-lb-a3

Vorlesung "Logik und Berechenbarkeit"
Übung "Familiendatenbank in Prolog"
Bei Prof. Dr. Klauck
Benotet mit 13 Punkten

Gegeben ist eine Familiendatenbank, die verschiedene Personen beschreibt. (src/familie.pl)

elternteil/2 (Person1 ist Elternteil von Person1)
verheiratet/2 (Person1 ist mit Person2 verheiratet)
maennlich/1
weiblich/1

Implementiert wurden: (src/teil1.pl)

Prädikate (Funktionen), die Aussagen über das Verwandtschaftsverhältnis von Personen aus der Datenbank treffen
- vorfahre & nachkomme
- geschwister
- bruder & schwester
- eheleute
- uroma & uropa
- oma & opa
- mutter & vater
Prädikate zur Konsistenzprüfung der Datenbank

Getestet werden die Implementationen mit gegebenen Testfällen. (src/test.pl)

Schriftliche Ausarbeitung

Deduktive Datenbanken und Unifikation - Teil 1 Familien-Datenbank.pdf (14 Seiten)

Beispiel

Der Weg einer Fragestellung von natürlicher Sprache über die mathematische Definition zu einer Prolog-Anfrage anhand des Beispiels des Verwandtschaftsverhältnisses geschwister(X, Y).

Zugriff auf Prolog-Ergebnisse mit Python

(nachträgliche Ergänzung ab 2021)

Siehe prolog.py