Manual de Referência AP5: Uma Extensão Baseada em Lógica para Common Lisp

AP5 é uma extensão do Common Lisp que permite aos usuários "programar" em um nível mais "especificacional", focando no que a máquina deve fazer em vez de como. Combina aspectos do Lisp e da linguagem de especificação Gist, incorporando partes compiláveis do Gist e oferecendo mecanismos de anotação para ajuste de desempenho. O AP5 usa um modelo relacional para representar dados e suporta uma linguagem de lógica de primeira ordem para acesso e manipulação de dados. Os programadores definem relações, regras e restrições, otimizando o desempenho por meio de anotações. O manual detalha a sintaxe do AP5, operações de banco de dados, regras, tipos, equivalência e especificações de implementação, fornecendo inúmeros exemplos e explicações.