AP5 Referenzhandbuch: Eine logikbasierte Erweiterung von Common Lisp
AP5 ist eine Erweiterung von Common Lisp, die es Benutzern ermöglicht, auf einer „spezifischeren“ Ebene zu „programmieren“, wobei der Fokus darauf liegt, was die Maschine tun soll, anstatt wie. Es kombiniert Aspekte von Lisp und der Gist-Spezifikationssprache, indem es kompilierbare Teile von Gist integriert und Annotationsmechanismen zur Leistungsoptimierung bietet. AP5 verwendet ein relationales Modell zur Datenrepräsentation und unterstützt eine Sprache der Prädikatenlogik erster Stufe für Datenzugriff und -manipulation. Programmierer definieren Relationen, Regeln und Constraints und optimieren die Leistung durch Annotationen. Das Handbuch beschreibt detailliert die AP5-Syntax, Datenbankoperationen, Regeln, Typen, Äquivalenz und Implementierungsspezifikationen und liefert zahlreiche Beispiele und Erklärungen.