ClojureDocs

Nav

Namespaces

nonlvaro

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