Prolog - ASSERT-und RETRACT

Wunderte ich mich, ich bin mir bewusst, die Sie verwenden können assert zum hinzufügen von Fakten oder Regeln oder was auch immer, wenn Sie erklärt haben, das Prädikat zu -:dynamicaber diese erlaubt nur die änderungen, die vorgenommen werden, werden gehalten, in dieser Sitzung nur, wenn Sie z.B. in der Nähe der Prolog-Fenster, dann die änderungen in der Datenbank sind verloren.

Also habe ich mich gefragt, gibt es eine Möglichkeit, es so zu machen, dass die assert und retract Prädikate können permanente änderungen an den Prolog .pl-Datei?

Dank

InformationsquelleAutor der Frage KP65 | 2010-03-12

  1. 38

    Kann ich schlage vor, Sie ein sehr einfache Möglichkeit, dies zu tun.

    1 ?- assert(a(1)).
true.

2 ?- assert(a(2)).
true.

3 ?- assert(a(3)).
true.

4 ?- a(A).
A = 1 ;
A = 2 ;
A = 3.

5 ?- tell('a_db.txt'), listing(a), told.
true.

    Dann die Sitzung schließen, erneut öffnen.

    1 ?- a(A).
ERROR: toplevel: Undefined procedure: a/1 (DWIM could not correct goal)
2 ?- ['a_db.txt'].
% a_db.txt compiled 0.00 sec, 516 bytes
true.

3 ?- a(A).
A = 1 ;
A = 2 ;
A = 3.

4 ?- listing(a).
:- dynamic a/1.

a(1).
a(2).
a(3).

true.

    InformationsquelleAutor der Antwort Xonix

Schreibe einen Kommentar