-
0 votesanswersviews
在Prolog中测试 . 如何运行单元测试来检查我的输出文件是否与我的文本文件匹配?
我正在使用prolog(swipl)实现一个自然语言生成器 . 我有一个.txt测试文件,其中包含一些我应该能够以这种格式生成的短语: [goal,identify,type_object,animal,object,cat,event,ran away,when,[last,mont],where,[]] [which,cats,ran away,last,month,?] [goal,ide... -
9 votesanswersviews
XSB Prolog中的单元测试?
如何使用XSB Prolog进行单元测试?有图书馆吗?或者是否有可能以某种方式在XSB中使用SWI-Prolog的 plunit 库? 如果没有可用的XSB测试库(或其他Prolog与 plunit 没有兼容),这个问题的变体可能是:你如何测试你的Prolog代码?您是否使用喜欢的模式进行测试? -
1 votesanswersviews
仅在SWI-Prolog中的单个单元测试范围内声明真实的事实
作为这个问题的一个例子,我有一个非常简单的Prolog文件 main.pl ,其中我定义了一些形状的颜色 . colour(circle, red). colour(triangle, red). colour(square, blue). 现在,我定义了一个谓词 same_colour/2 ,如果 S1 和 S2 是相同的颜色,则为真 . same_colour(S1, S2) :- ...