Suchergebnisse für Anfrage "non-termination"
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: