clojure.core.logic.nominal — org.clojure/core.logic 1.0.1

-suspc clj

(-suspc v1 v2 swap)

fresh clj macro

(fresh [& noms] & goals)

Creates fresh noms. Goals occuring within form a logical conjunction.

hash clj

(hash a t)

INomSwap clj protocol

swap-noms clj

(swap-noms t swap s)

nom clj

(nom lvar)

nom-swap clj

(nom-swap a swap)

nom? clj

(nom? x)

suspc clj

(suspc v1 v2 swap)

Tie clj

tie clj

(tie binding-nom body)

tie? clj

(tie? x)