如何定义a整数/浮点数？
a
我想找到的结果a+b+c+d=10,其中a,b,c,d的整数和>=0.
a+b+c+d=10
a,b,c,d
>=0
prolog clpfd
有没有办法对几个Prolog程序进行基准测试？我正在使用SWI-Prolog,它没有显示执行查询所花费的时间!!
testing performance prolog
prolog ×2
clpfd ×1
performance ×1
testing ×1