Suchergebnisse für Anfrage "successor-arithmetics"
Zu viel Backtracking: Warum gibt es hier ein "Redo"?
Ich mache eine sehr einfache Übung in Prolog und es gibt etwas, das ich in der Spur nicht verstehe. Das Programm ist ein "größer als" (
Die Prolog-Nachfolgernotation liefert ein unvollständiges Ergebnis und eine Endlosschleife
Ich lerne Prolog und lerne zuerst die Nachfolgernotation.Und hier erfahre ich, wie ich Peano-Axiome in Prolog schreibe.Siehe Seite 12 derPDF:
Reversible Baumlängenbeziehung
Ich versuche, reversible Relationen in "reinem" Prolog zu schreiben (Nr