如何在DCG之后从知识库中生成一些短语？

Posted 2021-04-18

我在Prolog中将我的语法定义为DCG（Definite Clause Grammar）。现在我想根据我的知识库中的事实生成一些短语。例如，如果我有likes(mark, julia).我想生成句子

马克喜欢朱莉娅。

我怎样才能做到这一点？

答案

我们必须考虑到likes/2是正常的Prolog谓词，而不是DCG。

因此，我们使用{}//1来指代DCG中的常规Prolog谓词。

例如：

sentence -->
        [X, likes, Y],
        { likes(X, Y) }.

样品用法：

?- phrase(sentence, Ls).
Ls = [mark, likes, julia].