0

私はプロローグクラスの課題を書いていますが、単純なことに固執しています。私はquestion1.plというファイルにたくさんのロジックを書きました

Mac OS XでSWIを使用しているので、コマンドプロンプトで次のようにします。

swilg
consult('question1.pl').

ファイルをロードしてからテストするには、次のようにします。

?- father(homer,bart).
true
?- father(marge,bart).
false

等々。

私の質問は、コードの「テストスクリプト」をどのように作成するかです。

次のようなquestion1-tests.plのようなものを書く必要があると思います。

(write 'test1, should be true').
father(homer,bart).
(write 'test2, should be false').
father(marge,bart).

しかし、どうすればそのスクリプトを実行できますか？

申し訳ありませんが、これは簡単ですが、行き詰まっています。ありがとう！

4

2 に答える 2

0

私自身の質問に答えて、私はこれを私のquestion1.plに追加できると思いました...

doTests:-write('Test1, should be true'),nl,father(homer,bart).

そして、単に実行します

?- doTests

出力を取得します。私の割り当てのニーズには十分です。

于 2013-03-27T00:47:07.217 に答える
0

これが最善の方法かどうかはわかりませんが、次のようなスクリプトを作成できます。

swipl <<END
[question1].
write('test1, should be true').
father(homer,bart).
write('test2, should be false').
father(marge,bart).
END
于 2013-03-27T00:50:34.870 に答える