-
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 这里发生... -
1 votesanswersviews
简单的Prolog程序:“参数没有充分实例化”错误
我正在写一个Prolog谓词,从编号列表中删除前三个元素并打印结果 . 编号列表的示例: [e(f,1),e(o,2),e(o,3),e(b,4),e(a,5),e(r,6)]. 普通列表的原始谓词如下所示: strim([H|T],R) :- append(P,R,[H|T]), length(P,3). 因此,由于长度谓词也适用于编号列表,我只需要编写谓词,将一个编号...