无点逻辑编程

Lobsters Hottest 2026/05/10 06:14 论文

logic-programming point-free-style functional-programming computer-science

摘要

本文探讨了无点逻辑编程，这是一个与函数式编程范式相关的概念。

查看原文

相似文章

Lobsters Hottest

本文探讨了使用抽象栈机器实现逻辑程序的方法，详细说明了推理规则（如加法）的不同模式分配如何转换为状态机转换以进行计算。

Lobsters Hottest

作者探讨了利用约束逻辑和等式重写规则，将关系建模与 APL 风格的数组语言相结合，并讨论了如何将属性定义为双向推导，而非简单的赋值。

arXiv cs.CL

介绍了 LoVer，一种使用逻辑规则（否定一致性、组内一致性和组间一致性）来在无标签数据下提升大语言模型推理能力的无监督验证器，在推理基准测试中达到了接近监督验证器的性能。

Hacker News Top

本文推荐 Peter Naur 的著作《编程即理论构建》，主张编程的本质在于构建和传达对软件的心理模型，而不仅仅是编写代码。

Lobsters Hottest

本文提出了一种有原则性的方法来重新思考 APL 等数组语言，通过将变量建模为输入维度的函数，旨在相较于传统方法提高可读性和错误检查能力。