ClojureDocs

导航

命名空间

nonlvaro

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