nonlvaro

added

ns
clojure.core.logic

type
macro

(nonlvaro v)

A goal that succeeds if the argument is not fresh. v must be a
logic variable. Non-relational.