問題タブ [plunit]

XSB Prolog を使用している人々はどのように単体テストを行っていますか? 利用可能なライブラリはありますか? plunitそれともSWI-PrologのライブラリをXSBで何とか使えないのでしょうか？

XSB (または と互換性のない他の Prolog plunit) 用の利用可能なテスト ライブラリがない場合、この質問のバリエーションは次のようになります: Prolog コードをどのようにテストしますか? お気に入りのパターンをテストに使用しますか?

現在、 PlUnitテスト スーツを使用しようとしていますが、テスト中に述語の出力をオフにする問題が発生しました。

ドキュメントには、の行に沿ったもので問題ないと書かれてset_test_options([silent(true)]).いますが、テストの実行には影響がないようです。

これらのオプションも呼び出しに入れようとしましたload_test_files/1が、何も変わりませんでした。

ドキュメントを誤解しているようで、ここで何が失敗したかを確認しようとするとどこにも行き着かないので、誰かがこのライブラリについて助けを提供できれば、感謝して読むことができます。

この Prolog ルールのテストをどのように記述しますか?

ハイパフォーマンスマーク - これが私が持っているものです。

物事が少し明確になることを願っています。

この質問の例として、main.plいくつかの形状の色を定義した非常に単純な Prolog ファイルがあります。

その下で、 predicate を定義します。これは、とが同じ色のsame_colour/2場合に true です。S1S2

トップレベルでのテストは、この述語が期待どおりに機能することを示しています。

SWI-Prologs 単体テスト フレームワークplunit forを使用して単体テストを作成しようとしてsame_colour/2いますが、個々のテスト内で、そのテストの範囲内でのみ真である事実を宣言したいと考えています。setup個々のテストのオプションと を使用してみましたがasserta、どちらも機能しません。以下のテストはすべて失敗します。

私も試しました：

つまり、最初にcolour(shape_a, colour_1)とcolour(shape_b, colour_1)が事実であることを宣言し、テストを実行してから、それらを「宣言解除」します。ただし、このテストも失敗します。それを使用すると、決してアサートされないtraceようですcolour(shape_a, colour_1)(または、少なくともテストの実行中は真実ではありません)。

最初の 2 つのテストが機能しない理由がわかりました。前に宣言されていない場合、最初に私colour(shape_a, colour_1)は真であるかどうかをテストしていassertaます. 3 回目または 4 回目のテストに似たような気がしますが、私がやろうとしていることを達成できるはずですか?

http://www.swi-prolog.org/pldoc/doc_for?object=section%28%27packages/plunit.html%27%29の Prolog Unit Tests を使用しようとしています。 非決定論的述語の例を示していますなので

リストX == [a、b、c]のすべての要素をテストし、リスト[a、b、c]にあるかどうかをテストするだけだと思います。しかし、なぜ

レポートwrong "all" answer:？

prolog (swipl) を使用して自然言語ジェネレーターを実装しています。

この形式で生成できるいくつかのフレーズを含む .txt テスト ファイルがあります。

等々...

plunit (または何か他のもの?) を使用して、テスト ファイルのすべての要素が true/false を返す出力ファイルにあるかどうかを確認するにはどうすればよいですか?