2.4Prädikatenlogik

Logik-Programmierung mit Prolog

Programmieren durch Beschreiben: Fakten und Regeln aufschreiben, Anfragen stellen – die Suche übernimmt Prolog.

Leitformel
sterblich(X) :− mensch(X).\mathit{sterblich}(X) \ {:}{-}\ \mathit{mensch}(X).
Lernziel

Einfache Prolog-Programme mit Fakten, Regeln und Rekursion schreiben und die Auswertung durch Tiefensuche mit Backtracking nachvollziehen.

Einheit wird geladen …