One way to identify neighbors

gistfile1.clj

(ns simple-csp.core
  ( :refer-clojure :exclude [==])
  (:use clojure.core.logic))

(defne arco [x y]
  ([:sa :wa])
  ([:sa :nt])
  ([:sa :q])
  ([:sa :nsw])
  ([:sa :v])
  ([:wa :nt])
  ([:nt :q])
  ([:q :nsw])
  ([:nsw :v])
  ([:t nil]))

(defn neighborso [x y]
  (conde [(arco x y)]
         [(arco y x)]))

(run* [q] (neighborso q :wa))