[#LOGIC-42] Generalize run to accept multiple logic vars - Clojure JIRA

(run 1 [x y z]
  ...goals...)

;; equivalent to

(run 1 [q]
  (fresh [x y z]
    (== q [x y z])
    ...goals...))

Ascending order - Click to sort in descending order

Hide

Permalink

Gary Fredericks added a comment - 13/Jun/12 7:36 PM

test and impl

Show

Gary Fredericks added a comment - 13/Jun/12 7:36 PM test and impl

Hide

Permalink

David Nolen added a comment - 14/Jun/12 9:19 AM

Show

David Nolen added a comment - 14/Jun/12 9:19 AM fixed, http://github.com/clojure/core.logic/commit/7b6d8f3c34e4feca18bb645282adee7aeef68ac7

Vote (0)

Watch (0)