Details
-
Type:
Defect
-
Status:
Resolved
-
Priority:
Major
-
Resolution: Completed
-
Affects Version/s: None
-
Fix Version/s: None
-
Component/s: None
-
Labels:None
Description
I have a custom constrain defined using defc, it looks like
(defc string-containsc [x y]
(and (string? x)
(.contains x y)))
I have a little core.logic program
(defn t []
(logic/run* [q]
(c/string-containsc q "foo")
(logic/== q 1)))
the result of calling t is (1)
if I change the order of the goals:
(defn t []
(logic/run* [q]
(logic/== q 1)
(c/string-containsc q "foo")))
the result of (t) is ()
Activity
David Nolen
made changes -
| Field | Original Value | New Value |
|---|---|---|
| Resolution | Completed [ 1 ] | |
| Status | Open [ 1 ] | Resolved [ 5 ] |