Core logic example

gistfile1.clj

(ns euroclojure.logic
	(:use [clojure.core.logic]))

(defn query []
	(run 1 [q]
		(membero q [1 2 3])))

;; 1

(defn query-all []
	(run* [q]
		(membero q [1 2 3])))

;; (1 2 3)

(defn query-intersect []
	(run* [q]
		(membero q [2 4 6 8])
		(membero q [0 1 4 8])))

;; (4 8)

(defn transistive []
	(run* [q]
		(fresh [a b]
		(membero b [ 2 3 4 7 13])
		(== q a)
		(== a b)
		(membero a [2 7 9]))))

;; (2 7)