Manuel de référence AP5 : une extension basée sur la logique pour Common Lisp
AP5 est une extension de Common Lisp qui permet aux utilisateurs de « programmer » à un niveau plus « spécificatif », en se concentrant sur ce que la machine doit faire plutôt que sur la manière de le faire. Il combine des aspects de Lisp et du langage de spécification Gist, en intégrant les parties compilables de Gist et en offrant des mécanismes d’annotation pour l’optimisation des performances. AP5 utilise un modèle relationnel pour représenter les données et prend en charge un langage de logique du premier ordre pour l’accès et la manipulation des données. Les programmeurs définissent des relations, des règles et des contraintes, en optimisant les performances grâce à des annotations. Le manuel détaille la syntaxe d’AP5, les opérations de base de données, les règles, les types, l’équivalence et les spécifications d’implémentation, en fournissant de nombreux exemples et explications.