clojure.core.logic.dcg — mschuene/core.logic 0.8.11.1

!dcg? clj

(!dcg? clause)

--> clj macro

(--> name & clauses)

-->e clj macro

(-->e name & cclauses)

->lcons clj

(->lcons env [m :as c] i)

(->lcons env [m :as c] i quoted)

count-clauses clj

(count-clauses clauses)

def--> clj macro

(def--> name args & clauses)

def-->e clj macro

(def-->e name args & pcss)

fresh-expr? clj

(fresh-expr? clause)

handle-cclause clj

(handle-cclause fsym osym cclause)

handle-clauses clj

(handle-clauses env [c & r :as cs])

lsym clj

(lsym n)

mark-clauses clj

(mark-clauses cs)

(mark-clauses [c & r :as cs] i)