[#LOGIC-64] Support inequalities in finite domain sugar

[LOGIC-64] Support inequalities in finite domain sugar Created: 26/Oct/12 Updated: 27/Oct/12 Resolved: 27/Oct/12
Status:	Resolved
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:

Labels:

patch, patch,

Attachments:

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 ]

Generated at Sat May 25 04:08:45 CDT 2013 using JIRA 4.4#649-r158309.