swipl: comment recharger un fichier
D'abord je charge le fichier avec SWI-Prolog
$ swipl file.pl
puis je modifie le fichier et enregistre.
Maintenant, comment puis-je recharger le fichier comme
?- reload
pour ce file.pl modifié?
SWI-Prolog a un prédicat make/0 à cette fin:
?- make.
Notez que SWI-Prolog a une fonction pratique pour rechercher des mots-clés dans le manuel:
?- apropos(reload).
Vous renvoie (entre autres choses) à la section 3.3 du manuel: "Le cycle test-édition-rechargement", qui en fait mention.
Make rechargera tous les fichiers source qui ont été modifiés depuis leur chargement, mais si vous devez recharger un fichier spécifique, vous pouvez utiliserreload_file:
?- make:reload_file(source_file).