logic-programming

一篇1996年回顾Prolog编程语言起源与发展的文章。

本文提出了一种基于模糊逻辑的新的回答集编程（ASP）扩展，通过隶属函数将数值信息与定性推理相结合，并通过一个旅游推荐案例研究进行了演示。

关于Datalog的全面笔记：什么是Datalog，如何用多种语言实现，以及在程序分析中的应用，附带代码示例和资源。

本文介绍了作者的博士论文《解构Datalog》，该论文通过使用最小前缀点和类型系统中的单调性追踪，将Datalog的递归查询能力集成到一门类型化函数式语言（Datafun）中。

该仓库提供Hassan Ait-Kaci的著作《沃伦抽象机：教程重构》的电子版，这是一本已绝版的关于Prolog编译所用的沃伦抽象机的教程，现已免费提供非商业使用。

本文介绍了一种基于回答集编程(ASP)的CARCASS框架实现，用于在强化学习中构建抽象，并在Blocks World和Minigrid领域展示了其有效性。

Mercury是一种逻辑/函数式编程语言，它将声明式编程与静态分析和错误检测相结合。该仓库提供了源代码、文档以及针对多个平台的后端支持。

本文解释了从命令式编程转向声明式编程所需的概念转变，并通过Prolog来阐述如何从关系而非可变状态的角度进行思考。

通过宝可梦属性相克作为示例，介绍 Prolog 编程，展示逻辑编程如何优雅地建模关系数据。

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

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

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

Hillel Wayne的一篇博文，详细讲述了他对Prolog编程语言的不满，包括字符串问题、缺乏函数、数据类型有限以及cut操作等。