我尝试做一些练习 - 以“s 表示”表示数字,这意味着“0”为零,s(0) 为 1,s(s(0)) 为 2,依此类推。我尝试编写谓词来添加“s numbers”:谓词 s2int 将“s number”转换为 int。
s2int(0, 0).
s2int(s(X), Y) :-
s2int(X, Y1),
Y is 1 + Y1.
add(X, Y, Z) :-
s2int(X, SX),
s2int(Y, SY),
s2int(Z, SZ),
SZ is SX + SY.
当我查询添加时,它会写入正确的答案,但提示不会回来。有什么问题?