新博文：我写的一些好玩的 Z3 脚本
作者在暂停《Logic for Programmers》后更新网站，发布了五个月来的第一篇博文《Some Silly Z3 Scripts I Wrote》，并提到不再公开付费墙内容链接。
Tag
# 逻辑
围绕 逻辑 这个主题，opc.ren 当前收录了 4 篇相关文章。
Latest under #逻辑
4 items证明什么是可能的
作者从形式化方法咨询的角度，讨论用两个时序算子（如“始终为真”）来数学化表达系统性质，并以数据库约束、状态机等为例说明。
《Logic for Programmers》新版本发布及后续计划
《Logic for Programmers》发布了 v0.13 版本，历时四个月完成，篇幅超过 5 万字，较 v0.12 增加约 20%。作者在文中介绍了此次更新的主要变化，并说明了后续计划与下一步方向。
我对 Prolog 的一些不满
作者在为《Logic for Programmers》新增答案集编程与约束逻辑编程内容时，回顾并列出自己对 Prolog 的一些痛点与不满。