我在哪里可以找到一本关于 Prolog "Definite Clause Grammar" 的详尽书籍?

Where I can find an exhaustive book about "Definite Clause Grammar" in Prolog?

我想在 Prolog 中学习更多关于定从句语法的知识,我正在网上搜索一些书籍和教程。

我已经在 "Learn Prolog Now"、"The art of Prolog" 和 Swi-Prolog 上看到了一些教程,但其中 none 讲述了很多关于它们的内容。

谁能给我推荐一本关于这个主题的详尽书籍?

谢谢:)

这是强制性的:https://www.metalevel.at/prolog/dcg.html,但它侧重于 DCG 的计算使用。我偏爱的 Prolog 书恰好专注于自然语言分析:go google for 'Pereira Shieber' 并获取 PDF。这是对 Prolog 以及 - 逐渐 - DCG 的一个很好的介绍,它还包含高级 material - 关于广义解析和性能问题。

edit 我意识到 DCG 标签已经准备好使用 link 到英文可下载版本。我自己有 'dead tree' 意大利语版本,其中有一些关于意大利语处理所需差异的扩展(以及 - 唉 - 一些拼写错误)。