Prolog 是一门不错的语言。我偶尔使用它，不时使用它。
但是以后每次都接近它让我在语法上感觉越来越不舒服。
现代编程语言正在允许
DCG 是朝着正确方向迈出的一步，允许人们写作
sentence --> noun_phrase, verb_phrase.
而不是
sentence(A,Z) :- noun_phrase(A,B), verb_phrase(B,Z).
但它与差异列表的纠缠使其不太有用。
所以我正在寻找的是提供 Prolog 的项目 更紧凑的句法表示，同时保留其语义表达能力。
【问题讨论】：
基于call/N 的高阶编程仍然是一个未开发的领域。像 SICStus Prolog 这样的主要实现直到 2006 年才添加了call/N。所以还有很多东西需要探索。考虑library(lambda)、library(reif)（here）和其他使用meta-predicate 声明的定义。
【讨论】：
对于 Swi-Prolog，您可能需要研究的一件事是 Swi-Prolog 7 专门引入的实际语言扩展：
http://www.swi-prolog.org/pldoc/man?section=extensions
另一件事是准引用库，它允许您在“常规”Prolog 代码中插入您自己的语言（使用 DCG 定义）的代码片段：
http://www.swi-prolog.org/pldoc/man?section=quasiquotations
我可以推荐的最后一件事是附加 Swi-Prolog 包的列表，其中一些是专门为扩展语言而设计的，例如'func'、'lambda' 等：
【讨论】：