[LOGIC-131] Docstrings for lvaro and nonlvaro need improvement.

Tue, 7 May 2013 22:29:08 -0500

Assuming the following definitions:

1. A term is ground if it does not contain unassociated logic variables.
2. Otherwise, it is non-ground.

My suggestions:

lvaro: A non-relational goal that succeeds if the supplied logic variable is fresh.

nonlvaro: A non-relational goal that succeeds if the supplied logic variable is not fresh.

In the case nonlvaro, it's important to recognize that the implementation only tests whether the supplied lvar is not fresh, and "not fresh" != grounded; the result could be partially instantiated. For example, nonlvaro succeeds here when its argument is neither fresh nor grounded:

(run* [q]
  (fresh [x]
    (== q [x])
    (nonlvaro q)))
;; => ([_0])

[LOGIC-33] Added usage section to readme.md

Sun, 17 Mar 2013 19:11:55 -0500

added a short usage section in readme.md

the latest working repo was 0.6.7 for me, so that's what in the patch. (i have signed CA)

Clojure JIRA

[LOGIC-131] Docstrings for lvaro and nonlvaro need improvement.

[LOGIC-33] Added usage section to readme.md