prolog - 未定义的过程 s/1 谓词

Question

我正在参加初学者序言类(class)。我们应该使用 swi-prolog，这是我说的

% library(swi_hooks) compiled into pce_swi_hooks 0.00 sec, 3,856 bytes
Welcome to SWI-Prolog (Multi-threaded, 64 bits, Version 5.10.4)

我们被要求开发算术谓词 add(X,Y,Z)。使用后继 s(X) [= X+1] 仿函数。这个谓词在我的机器上失败并出现以下错误:

ERROR: toplevel: Undefined procedure: s/1 (DWIM could not correct goal)

有没有人有解决方案？我必须降级我的 swipl 吗？

谢谢!

Answer 1

你的 SWI-Prolog 很好，但你误解了任务。您必须编写 add/3 的定义，使用 Peano 表示代替通常的数字，例如，2 变为 s(s(0))。你可以搜索类似的问题，比如我answered帮助理解您所面临的相同上下文中的实际 Prolog 执行。