puzzled.clj

(ns logic-introduction.core
    (:refer-clojure :exclude [inc reify ==])
    (:use [clojure.core.logic minikanren prelude nonrel match disequality]))

(defn geto [key env value]
  "Succeed if type association [key :- value] is found in vector env."
  (matche [env]
          ([[[key :- value] . _]])
          ([[_ . ?rest]] (geto key ?rest value))))

(comment
(run* [q]
      (exist [a]
             (geto 'c
                   [['f :- [Integer :- Float]]
                    a
                    ['b :- Integer]
                    ['c :- Integer]
                    ['d :- Integer]]
                   Integer)
             (== q a)))
;=> ([c :- java.lang.Integer] _.0)
)