Clojure core.logicとminiKanren

[org.clojure/core.logic "1.0.0"]

(ns logic-test.core
  (:require [clojure.core.logic.pldb :as pldb]
            [clojure.core.logic :refer :all]))


(pldb/db-rel shape f s) ;; 果物の形を定義
(pldb/db-rel color f c) ;; 果物の色を定義

(def facts1
  (pldb/db
  [shape :apple :sphere]
  [shape :orange :sphere]
  [shape :banana :stick]
  [shape :strawberry :cone]
  [color :apple :red]
  [color :orange :orange]
  [color :banana :yellow]
  [color :strawberry :red]))

(pldb/with-db facts1
  (run* [q] (shape q :sphere)))  
;;-> (:orange :apple)  丸いものを出力

(pldb/with-db facts1
  (run* [q]
    (shape q :sphere)
    (color q :red)))   
;;->(:apple) 丸くて赤いものを出力

(pldb/with-db facts1
  (run* [q]
    (conde
     [(shape q :sphere)]
     [(color q :red)])))  
;;->(:orange :apple :apple :strawbery) 丸いか赤いものを出力(appleは両方にかかるので2回でる)

(conde     ;; [場合分け] (The Reasoned Schemerのcondiにあたる)
  [a b c]  ;; a b c が全て成り立つ場合と、
  [d e f]  ;; d e f が全て成り立つ場合と、
  [g h i]) ;; g h i が全て成り立つ場合の結果をそれぞれ出す。

(condu     ;; [選択]
  [a b c]  ;; a b c が全て成り立つならこれを全体の結果とする。
  [d e f]  ;; 上が成り立たず、d e f が全て成り立つならこれを全体の結果とする。
  [g h i]) ;; 上が成り立たず、g h i が全て成り立つならこれを全体の結果とする。

(conda     ;; [条件分岐]
  [a b c]  ;; a が成り立てば、 a b c の結果を全体の結果とする。
  [d e f]  ;; a が成り立たず、d が成り立てば、 d e f の結果を全体の結果とする。
  [g h i]) ;; a と d が成り立たず、g が成り立てば、 g h i の結果を全体の結果とする。

(matche [a b c]
  ([?x ?x ?x] ...) ;; a, b, c が同じ場合にマッチ
  ([?x ?x _] ...)  ;; a, b が同じ場合にマッチ
  ([_ ?x ?x] ...)) ;; b, c が同じ場合にマッチ

(defne funcname [a b c] ...)
;; (defn funcname [a b c] (matche [a b c] ...)) と同じ

;; 下記は同じ関係にある
;; conde  <--> condu  <--> conda
;; matche <--> matchu <--> matcha
;; defne  <--> defnu  <--> defna