作者吐槽了Prolog语言的几个痛点：缺乏标准化的字符串处理，不同实现间的字符串操作不兼容；为《程序员逻辑》新版本添加相关内容时，重新体验到了这些不便。虽然Prolog有其优势，但这些设计缺陷令人困扰。

我对Prolog的几点不满

语言设计的局限性

在为《程序员逻辑》新版本撰写"答案集编程"和"约束逻辑编程"章节时，我重新审视了Prolog的几个痛点：

1. 字符串处理缺失
   ISO标准中缺乏真正的字符串类型，只能用原子或单字符原子列表替代。不同实现（如SWI-Prolog和Scryer Prolog）的字符串操作互不兼容。

2. 函数式能力不足
   逻辑完全通过返回真/假的谓词表达。虽然双向查询（如length(L,3)生成长度为3的列表）是亮点，但简单如"列表长度加1"的操作也需要拆分为两步：length(List,Out), X is Out+1。相比之下，Picat语言在保持双向性的同时支持函数更实用。

3. 数据结构单一
   除了原子和数字，主要只有链表[a,b,c]和复合项（如dog(rex,poodle)）。缺乏标准化的键值对或结构体类型，各实现方案的扩展也不互通。

4. 布尔值缺失
   true/false是控制流语句而非值，必须通过事实（如passed(test)）间接表达布尔逻辑，增加了类似"筛选未通过三条规则的原子"等任务的复杂度。

语法陷阱

• 条件语句暗藏玄机
  条件语句底层使用cut操作符(!)实现，可能导致意外截断有效解。开发者常需避免条件语句以保安全，但代码会因此变得冗长。

• 否定操作反直觉
  \+ (A=B)的语义与书写顺序强相关，foo(A,B):- \+(A=B), A=1, B=2.返回false，而调换顺序后bar(A,B)却能返回预期解。这与dif/2的替代方案和闭世界假设有关。

工具链问题

• 集合操作晦涩
  获取所有解需要掌握bagof(Template,Goal,Bag)和存在量词N^Goal的奇特语法，其中^符号在ISO标准中仅此一处非幂运算用法。

• 排序函数设计失误
  sort/2默认去重，保留重复需先将元素转为-(Key,Value)复合项再用keysort/2处理，自定义排序更需复杂转换。

开发者体验

• 符号重载混乱
  中缀符号如a^b实际是前缀复合项^(a,b)，不同谓词可对其自由解释，但缺乏官方约定易导致不一致（如-(a,b)既作减号又作键值对）。

• 语法细节恼人
  规则必须以句点结尾，简单行序调整就可能引发语法错误。

尽管存在这些痛点，作者仍认可Prolog的双向查询等独特价值，并发现了一些变通方案（如通过SWI-Prolog命令行参数-t halt -g非交互执行查询）。答案集编程的特性也令人期待在新书中详述。

（注：原文发布于2026年1月14日，作者Hillel Wayne，节选自其博客"Computer Things"）

以下是评论内容的总结：

1. 对Prolog计算能力的质疑

   • 有人认为Prolog本质上是数据描述语言，计算能力是偶然实现的。
   • 引用："I always felt like Prolog's ability to execute programs was entirely accidental."
   • 引用："it feels like a data description language that someone discovered could be tricked into performing computation."

2. 语法和可读性问题

   • 批评Prolog语法不直观，代码需要按执行顺序阅读。
   • 引用："my gripe is that it looks declarative, but you have to read the code in execution order."
   • 引用："I liked the idea behind Prolog, but I absolutely detest the syntax."

3. 对Prolog的误解与学习曲线

   • 部分评论认为作者对Prolog的理解不足，建议深入学习。
   • 引用："this article has the flavor of an impatient newbie getting frustrated because he can't be bothered to read the documentation."
   • 引用："Prolog is a weird language. It has a learning curve."

4. Prolog的独特优势

   • 支持者指出Prolog的双向性和元解释能力是其独特优势。
   • 引用："Bidirectionality has always been super fascinating."
   • 引用："the thing about it that makes it special among all languages is metainterpretation."

5. 实际应用与资源推荐

   • 推荐实际项目和资源，如《The Art of Prolog》和《The Power of Prolog》。
   • 引用："check out Power of Prolog... which Mr. Wayne courteously links to in his article!"
   • 引用："Here's a nicely-designed tiling window manager, implemented in SWI-Prolog."

6. 对批评的回应

   • 部分评论认为批评源于对Prolog范式的不适应。
   • 引用："Laments about no strings, no functions and 'x is confusing' read like expectations of a different paradigm."
   • 引用："Prolog is truly a different paradigm which requires time to understand."

7. 学习建议

   • 建议初学者选择合适的学习资源和工具。
   • 引用："where does one start? Prolog? datalog? MiniKranren?"
   • 引用："which learning resource should one go with?"

总结：评论中对Prolog的评价两极分化，批评主要集中在语法和可读性上，而支持者则强调其独特性和学习曲线。建议深入学习并参考优质资源。