1
Wie kann man herausfinden, ob einige Prädikate bei der Berechnung der langen Berechnung fehlschlagen? Ist es möglich, etwas wie Debug-Modus zu verwenden? Ich habe in Google gesucht, aber keine Ergebnisse.Finden fehlgeschlagen Prädikat in Prolog - automatisierten Debug-Modus?
Sie können 'trace' verwenden. Es wird sehr deutlich angezeigt, wenn ein Anruf innerhalb des Prozesses fehlschlägt. Beachten Sie jedoch, dass das Fehlschlagen verschiedener Aufrufe ein normaler Teil eines ordnungsgemäß funktionierenden Prolog-Prädikats ist, wenn es überhaupt etwas Interessantes bewirkt. – lurker
Ich glaube nicht, dass es eine Einrichtung gibt, die nur die Fehleraufrufe verfolgt. Es wäre jedoch schwer zu sagen, was vor sich ging, ohne zu wissen, wie die Ausführung eines Fehlers verläuft. Daher ist die "Spur" in dieser Hinsicht sehr nützlich. – lurker
Ich weiß 'Spur', aber hier hilft es mir nicht –