无点逻辑编程
摘要
本文探讨了无点逻辑编程，这是一个与函数式编程范式相关的概念。
<p><a href="https://lobste.rs/s/hbctt2/point_free_logic_programming">评论</a></p>
相似文章
谓词逻辑速成课程
一篇为程序员提供谓词逻辑速成课程的博客文章，解释谓词、布尔运算符和语法，使形式逻辑更易理解。
从第一原理看函数式编程，第1部分——动机
本文从第一原理介绍函数式编程，涵盖函数的数学定义及编程语言范式的分类。这是面向命令式编程者系列文章的第一部分。
逻辑程序的抽象机
本文探讨了使用抽象栈机器实现逻辑程序的方法，详细说明了推理规则（如加法）的不同模式分配如何转换为状态机转换以进行计算。
面向程序员的逻辑
一本实用的书，面向程序员介绍逻辑，以改进软件设计、验证和推理，涵盖从简化条件语句到形式化验证和约束求解等主题。
Logic for Programmers 额外内容
Hillel Wayne 为其著作《Logic for Programmers》发布补充章节，涵盖并发进程、一阶逻辑、Liskov 历史规则及排序等主题。