Prolog 程序不存在（序言中不能运行规则）

Question

我是 Prolog 新手，正在使用 SWISH SWI 在线 PROLOG 网站。 https://swish.swi-prolog.org/ 我正在尝试一个非常基本的程序：

a('jae').
b('lii').
c('jackson').
happy(A):-sings(A).
happy(B):-dances(B).
goToPlay(C):-free(C).

尝试运行 happy(jae). 出现以下错误

procedure `sings(A)' does not exist
Reachable from:
      happy(A)

请帮我解决这个问题。

Answer 1

如果提交目标

happy(jae).

然后统治

happy(A) :- sings(A).

适用，也就是说下一个要解决的目标是

sings(A).

与 A = jae.

不幸的是，单参数谓词 sings/1 无处可寻，因此您会得到与另一种编程语言中缺少过程相同的错误。

你必须定义 sings/1.

Prolog 程序不存在（序言中不能 运行 规则）