所以我有一个家庭作业,我给出了以下代码:
numeral(0).
numeral(succ(X)) :- numeral(X).
numeral(X+Y) :- numeral(X), numeral(Y).
add(0,X,X).
add(succ(X),Y,succ(Z)) :- add(X,Y,Z).
我将定义一个prolog谓词add2(X,Y,Z(,它将产生,例如,以下输出
% Exercise 1 Test Cases (for copy-paste to the REPL
%% 1. add2(succ(0)+succ(succ(0)), succ(succ(0)), Z).
%% >>>> Z = succ(succ(succ(succ(succ(0)))))
%%
%% 2. add2(0, succ(0)+succ(succ(0)), Z).
%% >>>> Z = succ(succ(succ(0)))
%%
%% 3. add2(succ(succ(0)), succ(0)+succ(succ(0)), Z).
%% >>>> Z = succ(succ(succ(succ(succ(0)))).
%%
%% 4. add2(succ(0)+succ(0), succ(0+succ(succ(0))), Z).
%% >>>> Z = succ(succ(succ(succ(succ(0))))).
因此,在过去的几天里,我一直在研究这个问题,并做出了合理的尝试。这是我到目前为止一直在尝试的:
% Exercise 1 Solution
add2(X,Y,Z):- add(X,Y,Z).
add2(A+B,Y,Z):- add2(A,B,X), add2(X,Y,Z).
add2(X,A+B,Z):- add2(A,B,Y), add2(X,Y,Z).
现在,上面的代码对于提供的前 3 个输入非常有效。我很难思考prolog如何解释最后一个,以及我如何利用它。
这就是我认为可能可行的方法。
add2(X, succ(A+B), Z):- add2(A,B,Y), add2(X, succ(Y), Z).
我在想的是,解释器会将诸如succ(0+succ(...((之类的输入识别为succ(A + B(,然后上述规则将能够将0 + succ(...(解析为succ(...(。我从 SWI-PL REPL 收到的输出很简单:
Z = succ(succ(succ(0+succ(succ(0)))))
我所做的另一个尝试如下:
add2(X,succ(0+succ(Y), Z)):- add2(X,succ(Y),Z).
但是,这会产生与以前相同的输出。我不确定为什么上述两次尝试似乎对我不起作用,虽然我做了其他猜测,但上述两个或其他谓词或多或少存在随机变化,如果我通过这种方法成功,我可能会在不了解我在做什么的情况下获得正确的答案。
我正在使用SWI-PL作为我的prolog发行版。
我认为在这里使用辅助谓词可能有助于解决问题。帮助程序函数会将由级联succ(…)
和… + …
表示的数字转换为统一样式(因此仅succ(…)
(。
因此,我们可以实现以下功能:
normsucc(0, 0).
normsucc(succ(X), succ(NX)) :-
normsucc(X, NX).
normsucc(X+Y, NXY) :-
normsucc(X, NX),
normsucc(Y, NY),
add(NX, NY, NXY).
因此,我们可以利用normsucc
来计算总和:
add2(X, Y, Z) :-
normsucc(X, NX),
normsucc(Y, NY),
add(NX, NY, Z).
或者更简单,就像@false建议的那样:
add2(X, Y, Z) :-
normsucc(X+Y, Z).