3

plファイルをSWI-Prologにロードした後、consult('filename') キーボードを使用して再ロードするにはどうすればよいですか? で可能だと読みましたctr bが、機能しません。

SWI-Prolog バージョン 6.2.6 を使用しています。

4

2 に答える 2

4

make/0定義済みの述語を呼び出します。変更されたすべてのソース ファイルが再読み込みされます。

?- make.

詳細はこちら: http://www.swi-prolog.org/pldoc/man?predicate=make/0

于 2013-01-17T15:21:40.657 に答える
1

SWI-prolog の Consult/1 は、実際には reconsult/1 として定義されています。

しかし、メイクはより気の利いたものです。

于 2013-01-17T23:23:37.623 に答える