Suchergebnisse für Anfrage "non-termination"

2 die antwort

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:

TOP-Veröffentlichungen