-
4 votesanswersviews
SWI Prolog与GNU Prolog - SWI下的CLP(FD)问题
我在Prolog中写了一个快速谓词,尝试了CLP(FD)及其解决方程组的能力 . problem(A, B) :- A-B #= 320, A #= 21*B. 当我在SWI中调用它时,我得到: ?- problem(A,B). 320+B#=A, 21*B#=A. 在GNU中,我得到了正确答案: | ?- problem(A,B). A = 336 B = 16 这里发生...