RichProlog, a System for Deducing, Inducing and Learning in the Declarative Programming Paradigm

该项目的目的是在理论和实践中弥合学习和逻辑之间的差距。我们的目的是大大扩展声明式编程范式的范围，并构建一个可用于解决人工智能中遇到的学习或发现问题的系统。当应用于涉及演绎、归纳和非单调推理的问题时，该系统将使快速原型化成为可能。我们希望该系统成为解决广泛应用的标准工具，并为人工智能的逻辑基础提供新的见解。

The aim of the project is to contribute to bridge the gap between learning and logic, theoretically and practically. Our purpose is to extend considerably the scope of the declarative programming paradigm, and build a system that can be used to solve learning or discovery problems as encountered in Artificial Intelligence. The system will enable rapid prototyping when applied to problems involving deduction, induction, and nonmonotonic reasoning. We intend the system to become a standard tool for tackling a broad range of applications, and the underlying theory to provide new insights on the logical foundations of Artificial Intelligence.