SWI Prolog に実装されているplunitを使用して、洗練されたスタイルでいくつかの単体テストを実行したいと考えています。
だから私はそれらを端末に直接入力したい：
[user].
次に、コピーして貼り付けます：
:- begin_tests(exercise).
test(foo) :- bar.
:- end_tests(exercise).
これは完全に機能します。
...しかし、[user].もう一度テストをロードすると、Westworld のようなエクスペリエンスが得られます。
?- [user].
|: :- begin_tests(exercise).
ERROR: user://2:17:
ERROR: module/2: No permission to redefine module `plunit_exercise' (Already loaded from user://1)
Warning: user://2:17:
Warning: Goal (directive) failed: user:begin_tests(exercise)
plunit_X実装がtest 用の Module を作成しているようですX。それは理にかなっている。
しかし、テストモジュールをアンロードする方法はありますexerciseか?
がなければならない...
モジュールではなくunload_file/1でファイルをアンロードできることに注意してください。
アップデート：
[user].を使用してコードを入力する代わりに、[file]それを機能させます。うーん。