<< Back to previous view

[LOGIC-64] Support inequalities in finite domain sugar Created: 26/Oct/12  Updated: 28/Jul/13  Resolved: 27/Oct/12

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

Type: Enhancement Priority: Minor
Reporter: Brandon Bloom Assignee: David Nolen
Resolution: Completed Votes: 0
Labels: patch, patch,

Attachments: Text File LOGIC-64-v1.patch    
Patch: Code

 Description   

The attached patch enables the follow code:

(run* [x]
  (infd x (interval 0 9))
  (eqfd (!= 6 (* 2 x))))

You can also substitute != with <, >, >=, or <=



 Comments   
Comment by David Nolen [ 27/Oct/12 11:33 AM ]

fixed, http://github.com/clojure/core.logic/commit/423639c62584c0100f295cc87c1cf2f721e986e3





Generated at Sun Sep 21 03:16:53 CDT 2014 using JIRA 4.4#649-r158309.