まず、SWI-Prolog
$ swipl file.pl
次に、ファイルを変更して保存します。
次のようにファイルをリロードするにはどうすればよいですか
?- reload
この変更されたfile.pl
?
SWI-Prologには述語make/0
この目的のために:
?- make.
SWI-Prologには、マニュアルでキーワードを検索するための便利な機能があることに注意してください。
?- apropos(reload).
マニュアルのセクション3.3:これについて言及している「test-edit-reload cycle」を示します。
Make は、ロード後に変更されたすべてのソースファイルを再ロードしますが、特定のファイルを再ロードする必要がある場合は、 reload_fileを使用できます。
?- make:reload_file(source_file).