Übungsblatt 8 Aufgabe 2d

TimBo
Erstie
Erstie
Beiträge: 19
Registriert: 14. Sep 2013 02:51

Übungsblatt 8 Aufgabe 2d

Beitrag von TimBo »

Hallo,

ich finde dafür keine Lösung.
Würde jetzt davon ausgehen, dass Datalog terminiert, sobald es keine neuen Literale in einem Schritt hinzufügen, sprich beweisen kann.
Stimmt das so?

Grüße,
TimBo

Zurück zu „Archiv“