ClojureDocs

Nav

Namespaces

Clojure/Conj 2026 — Charlotte, NC — Sept 30 - Oct 2 Learn More & Get Tickets →

lvaro

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