core.logic

클로저와 클로저 스크립트를 위한 논리 프로그래밍 라이브러리인 core.logic은 관계형 프로그래밍, 제약 논리 프로그래밍과 같은 Prolog 언어와 유사한 기능을 제공한다. 이 라이브러리는 William Byrd의 논문 Relational Programming in miniKanren: Techniques, Applications, and Implementations 에 기술된 miniKanren을 그 기반으로 삼고 있으며, cKanren 과 αKanren 까지도 확장하고 있다. 또한 단순히 이들이 제공하는 기능을 넘어서 논리 프로그래밍을 쉽게 확장하는 것을 목표로 설계되었다.

(원문 출처: core.logic - README.md)

릴리즈 및 의존성 정보

<dependency>
        <groupId>org.clojure</groupId>
        <artifactId>core.logic</artifactId>
        <version>0.8.10</version>
</dependency>

튜토리얼 구성 개요

전체적으로는 다음의 세 파트로 구성되며, core.logic wiki, swannodette/logic-tutorial, frenchy64/Logic-Starter 의 내용을 각 파트에 맞게 재배치하고 필요에 따라 내용을 수정하여 구성한다.