core.logic

• Type: Defect
• Status: Resolved
• Priority: Major
• Resolution: Completed
• Affects Version/s: None
• Fix Version/s: None
• Component/s: None
• Labels:

  None

The predc number constraint fails to be enforced here.

(is (= (run* [q]
           (fresh [x]
             (== q x)
             (predc q number? `number?)
             (== x "foo")))
        ())) ;; false -- actual is ((_0 :- number?))

Inverting the first two goals gives the expected result.

(is (= (run* [q]
           (fresh [x]
             (predc q number? `number?)
             (== q x)
             (== x "foo")))
        ())) ;; OK

1. 

   logic-81.diff

   20/Dec/12 9:25 AM

   8 kB

   Nada Amin

• Assignee:

  David Nolen

  Reporter:

  Nada Amin

• Created:

  19/Dec/12 7:27 AM

  Updated:

  20/Dec/12 9:43 AM

  Resolved:

  20/Dec/12 9:43 AM