nafc

added

ns
clojure.core.logic

type
function

(nafc c & args)

EXPERIMENTAL: negation as failure constraint. All arguments to the goal c
must be ground. If some argument is not ground the execution of this constraint
will be delayed.