path.hy

(import [adderall.dsl [*]])
(require adderall.dsl)

(defn lastᵒ [s l]
  (fresh [a]
    (appendᵒ a [l] s)))

(defn adjacentᵒ [x y z]
  (fresh [a b]
         (condᵉ
          [(appendᵒ a (list* x y b) z)]
          [(appendᵒ a (list* y x b) z)])))
		  
(run 3 [q]
  (firstᵒ q :start)
  (lastᵒ q :treasure)
  (adjacentᵒ :treasure :ambush q)
  (memberᵒ :inn q)
  (memberᵒ :stream q)
  (memberᵒ :forest q))
  
;; [['\ufdd0:start', '\ufdd0:inn', '\ufdd0:stream', '\ufdd0:forest', '\ufdd0:ambush', '\ufdd0:treasure'],
;;  ['\ufdd0:start', '\ufdd0:inn', '\ufdd0:forest', '\ufdd0:stream', '\ufdd0:ambush', '\ufdd0:treasure'], 
;;  ['\ufdd0:start', '\ufdd0:stream', '\ufdd0:inn', '\ufdd0:forest', '\ufdd0:ambush', '\ufdd0:treasure']]