Man kann leicht eine Prolog-Datei unter Verwendung consult/1 oder [filename]. konsultieren. Angenommen, ich erzeuge Prolog Code als ein Atom. Ich kann in einem Prädikat diesen Code in eine Datei schre
Behaupten ich einen Operator wie folgt definieren: :- op(500, xfx, =>).
Wenn ich versuche, so etwas wie: assert(a => b).
Prolog einen Fehler auslöst, die ‚keine Berechtigung, sagt static_procedure
Aus dem Lesen des Handbuchs kann ich nicht den Unterschied zwischen den beiden finden. Das Handbuch sagt: Es wird empfohlen, retractall/1 zum Löschen alle Klauseln eines dynamischen Prädikat zu verwen