swipl: Wie lade ich die Datei neu?

8

Zuerst lade ich die Datei mit SWI-Prolog

%Vor%

dann ändere ich die Datei und speichere sie.

Nun, wie lade ich die Datei wie

neu %Vor%

für diese modifizierte file.pl ?

    
Wentao 30.11.2016, 14:23
quelle

1 Antwort

14

SWI-Prolog hat zu diesem Zweck ein Prädikat make/0 :

%Vor%

Beachten Sie, dass SWI-Prolog eine nützliche Funktion hat, um das Handbuch nach Schlüsselwörtern zu durchsuchen:

%Vor%

Weist Sie (unter anderem) auf Abschnitt 3.3 des Handbuchs hin: "Der Test-Edit-Reload-Zyklus", der dies erwähnt.

    
Isabelle Newbie 30.11.2016, 14:36
quelle

Tags und Links