Clojure에서의 완전한 논리 프로그래밍: Clolog

Clolog 프로젝트는 Clojure에 완전한 논리 프로그래밍(Prolog)을 통합하고 Clojure와의 상호 호출을 지원합니다. LogLisp, Lisp Machine Prolog, Allegro Prolog에서 영감을 얻었으며 여러 가지 개선 사항이 추가되었습니다. 표현력과 실행 투명성을 중시하여 빠른 프로토타이핑, 개념 증명 개발, 외부 루프 추론을 지원합니다(아직 고속은 아닙니다). Clojure 기반의 Lisp 스타일 구문을 통해 부정, 조건문, 변수 바인딩, Clojure 값에 대한 액세스를 위한 내장 술어와 연산자가 제공됩니다.