如何在 Prolog 中正确使用规则

Question

我已经开始尝试了解 Prolog 的工作原理，我需要一些帮助来弄清楚如何解决问题以及我的代码实际上在做什么。我想从序言构建一个句子，作为一个没有多大意义的超级基本示例，我想编写一个像'you are' 和'you art' 这样的句子。
这些是我拥有的谓词：

line(you,[first, type]).
line(thee,[first,old]).
line(thou,[first, new]).

line(are, [second, word]).
line(art, [second, word]).
line(aurt, [second, place]).

然后我创建了一个规则（我知道这是错误的，但我不知道为什么）：

line(A, [composed, type]):-
    line(B, [first, type]),
    line(C, [second, word]),
    append([B,C],A).

输入命令行：

?- line(A, [composed, type]).
false.

但对我来说不直观的是输入如下内容：

?- line(A, [first,type]).
A = you ;
false.

?- line(A, [second,word]).
A = are ;
A = art ;
false.

给我我想要的话。有人可以帮助我更好地理解我应该如何编写规则，以便我的预期结果类似于：

findall(X, line(X, [composed, type]),Y).
Y= you are;
Y= you art;
false.

我希望这有点道理，我并没有完全弄乱最后一段代码中的 Prolog 语法。先感谢您。

Answer 1

我将向您展示解决此问题的正确方法，即使用 DCG：

sentence --> noun, verb.
noun --> [you].
verb --> [are].
verb --> [art].

现在您可以使用 DCG 驱动程序 phrase/2 简单地生成句子：

?- phrase(sentence, X).
X = [you, are] ;
X = [you, art].

[first, type] 和 [second, word] 上面的内容，我在理解上有些困难。但 DCG 是完成此类轻型 NLP 任务的好方法。