<< Back to previous view

[LOGIC-42] Generalize run to accept multiple logic vars Created: 13/Jun/12  Updated: 28/Jul/13  Resolved: 14/Jun/12

Status: Closed
Project: core.logic
Component/s: None
Affects Version/s: None
Fix Version/s: None

Type: Enhancement Priority: Minor
Reporter: Gary Fredericks Assignee: Gary Fredericks
Resolution: Completed Votes: 0
Labels: None

Attachments: File LOGIC-42.diff    

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

;; equivalent to

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


 Comments   
Comment by Gary Fredericks [ 13/Jun/12 7:36 PM ]

test and impl

Comment by David Nolen [ 14/Jun/12 9:19 AM ]

fixed, http://github.com/clojure/core.logic/commit/7b6d8f3c34e4feca18bb645282adee7aeef68ac7

Generated at Wed Aug 20 01:52:21 CDT 2014 using JIRA 4.4#649-r158309.