clojure.core.logic.bench — core.logic 0.6.1-SNAPSHOT

appendo clj

(appendo x y z)

conso clj

(conso a d l)

digito clj

(digito x l y)

do-send-moolao clj

(do-send-moolao q l ll)

first-digito clj

(first-digito x l y)

firsto clj

(firsto l a)

membero clj

(membero x l)

nexto clj

(nexto x y l)

noattacko clj

(noattacko q others)

nqueenso clj

(nqueenso l)

nrevo clj

(nrevo l o)

partitiono clj

(partitiono a b c d)

qsorto clj

(qsorto l r r0)

resto clj

(resto l d)

righto clj

(righto x y l)

send-money-quicklyo clj

(send-money-quicklyo send more money)

solve-nqueens clj

(solve-nqueens)

takeouto clj

(takeouto x l y)

zebrao clj

(zebrao hs)