AP5 참조 매뉴얼: Common Lisp에 대한 논리 기반 확장
2024-12-21
AP5는 Common Lisp를 확장한 것으로, 사용자가 더욱 "명세 수준"에서 "프로그래밍"할 수 있도록 하며, 기계가 어떻게 하는지가 아니라 무엇을 해야 하는지에 중점을 둡니다. Lisp와 Gist 사양 언어의 측면을 결합하여 Gist의 컴파일 가능한 부분을 통합하고 성능 조정을 위한 주석 메커니즘을 제공합니다. AP5는 관계형 모델을 사용하여 데이터를 표현하고 데이터 액세스 및 조작을 위해 1차 술어 논리 언어를 지원합니다. 프로그래머는 관계, 규칙, 제약 조건을 정의하고 주석을 통해 성능을 최적화합니다. 이 매뉴얼에서는 AP5의 구문, 데이터베이스 작업, 규칙, 형식, 동등성, 구현 세부 정보를 자세히 설명하고 많은 예와 설명을 제공합니다.