Lispでも論理プログラミングがしたい！Lispでも論理プログラミングがしたい！ core.logicはClojureの準標準ライブラリ群であるClojure Contribに含まれる、論理プログラミングのためのライブラリです。 この記事では、core.logicを使ったClojureにおける論理プログラミングを紹介します。 core.logic このライブラリはClojureで制約論理プログラミングとProlog-likeな関係プログラミングを可能にします。 Lispの論理プログラミングライブラリといっても、処理系毎に様々なライブラリが存在します。 core.logicはSchemeの論理プログラミングライブラリであるminiKanren、そしてその拡張であるcKanrenに基づき実装されています。 append Prologの述語append/3は結合、差分、組み合わせと複数の意味を持ち、論理プログラミングの例としてよく取り
