AP5リファレンスマニュアル：Common Lispへの論理ベースの拡張
2024-12-21
AP5は、Common Lispを拡張したもので、ユーザーがより「仕様レベル」で「プログラミング」することを可能にし、機械がどのように行うかではなく、何を行うべきかに焦点を当てています。LispとGist仕様言語の側面を組み合わせ、Gistのコンパイル可能な部分を取り込み、パフォーマンス調整のための注釈メカニズムを提供します。AP5はリレーショナルモデルを使用してデータを表現し、データアクセスと操作のために一階述語論理言語をサポートしています。プログラマは関係、ルール、制約を定義し、注釈を通じてパフォーマンスを最適化します。マニュアルでは、AP5の構文、データベース操作、ルール、型、同値性、実装の詳細を説明し、多数の例と解説を提供しています。