如何定义a整数/浮点数？
a
我想找到的结果a+b+c+d=10,其中a,b,c,d的整数和>=0.
a+b+c+d=10
a,b,c,d
>=0
prolog clpfd
clpfd ×1
prolog ×1