AP5 参考手册：一种基于逻辑的 Common Lisp 扩展

AP5 是 Common Lisp 的一个扩展，允许用户以更“规范性”的级别进行编程，更关注机器做什么而不是怎么做。它结合了 Lisp 和 Gist 规范语言的优点，并提供了注释机制来控制性能。AP5 使用关系模型表示数据，并支持一阶逻辑语言进行数据访问和操作。程序员可以定义关系、规则和约束，并通过注释优化程序性能。手册详细介绍了 AP5 的语法、数据库操作、规则、类型、等价性和实现细节，并提供了大量的示例和说明。