本文介绍了高级语言 AP5，它作为 Common Lisp 的扩展实现。AP5 是一种规范语言，允许程序员在比标准编程语言更抽象的级别指定程序。文章通过一个图书馆数据库的示例应用程序，详细解释了 AP5 的关系、操作、一致性规则和自动化规则，以及如何使用注释来声明效率细节。