web-dev-qa-db-ja.com

swipl:ファイルをリロードする方法

まず、SWI-Prolog

$ swipl file.pl

次に、ファイルを変更して保存します。

次のようにファイルをリロードするにはどうすればよいですか

?- reload

この変更されたfile.pl

18
Rahn

SWI-Prologには述語make/0 この目的のために:

?- make.

SWI-Prologには、マニュアルでキーワードを検索するための便利な機能があることに注意してください。

?- apropos(reload).

マニュアルのセクション3.3:これについて言及している「test-edit-reload cycle」を示します。

26
Isabelle Newbie

Make は、ロード後に変更されたすべてのソースファイルを再ロードしますが、特定のファイルを再ロードする必要がある場合は、 reload_fileを使用できます。

?- make:reload_file(source_file).
1
Rafa Moyano