Question

我是prolog的新手，我想知道是否有人可以帮我解决这个问题。问题：给定整数1,2,3,4，谓词mult / 2，div / 2，div / 2，减号/ 2，减号/ 2和eval / 2，我需要写一个谓词解决方案/ 1当这样调用时：

?- solutions(L).

它应该以变量L统一到值为6的表达式列表终止。表达式的格式如下：

X, Y, exp/2

但是我的代码无效。我有两个版本。第一个冻结了SWI-Prolog，在我输入一段时间后没有回复任何答案，之后不让我评估任何其他内容：

eval(1,1.0).
eval(2,2.0).
eval(3,3.0).
eval(4,4.0).

eval(mult(X,Y),Z) :-
    eval(X,A),
    eval(Y,B),
    Z is A*B.

eval(div(X,Y),Z) :-
    eval(X,A),
    eval(Y,B),
    Z is A/B.

eval(minus(X,Y),Z) :-
    eval(X,A),
    eval(Y,B),
    Z is A-B.

solutions(L) :-
    setof(X,eval(X,6),L),
    print(L).

当我输入?- solutions(L).时，第二个版本只返回false：

solutions(L) :-
    setof([exp,X,Y],eval(exp(X,Y),6),L),
    print(L).

非常感谢你花时间帮忙！

Answer 1

问题是你的代码使用eval / 2谓词进行无限递归。

您可以尝试此解决方案：

num(1).
num(2).
num(3).
num(4).

eval(mult(A,B),Z) :-
    num(A),
    num(B),
    Z is A*B.

eval(div(A,B),Z) :-
    num(A),
    num(B),
    Z is A/B.

eval(minus(A,B),Z) :-
    num(A),
    num(B),
    Z is A-B.

test(L) :-
    setof(X,eval(X,6),L),
    print(L).

哪个收益率：

?- test(L).
[mult(2,3),mult(3,2)]
L = [mult(2, 3), mult(3, 2)].

Answer 2

也许你正在寻找像

这样的东西

solutions(L) :-
    Ns = [1,2,3,4],
    Ex = [*,/,-],
    findall((X,Y,E),
       (member(X,Ns),member(Y,Ns),member(E,Ex),F=..[E,X,Y],6=:=F),
       L).

产生

?- solutions(L).
L = [(2, 3,  (*)),  (3, 2,  (*))].

表达式通常是递归的，也就是说，参数可以是表达式而不是普通数字。但是，在我看来，你的问题是不明确的，因为我们需要标准来阻止无限流动的解决方案 - 例如 - 通过重复应用不改变价值的操作。像乘法或除以1一样。

在Prolog中使用模式匹配查找子文档

2 个答案: