ClojureDocs

Nav

Namespaces

lvaro

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