core.logic

Support inequalities in finite domain sugar

Views
- XML
- Word
- Printable

Details

Type: Enhancement
Status: Resolved
Priority: Minor
Resolution: Completed
Affects Version/s: None
Fix Version/s: None
Component/s: None
Labels:
- patch
- 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 <=

More Options
- Sort By Name
- Sort By Date
- Ascending
- Descending
- Download All

Attachments

LOGIC-64-v1.patch

26/Oct/12 10:39 PM

2 kB

Brandon Bloom

Activity

Hide

Permalink

David Nolen added a comment - 27/Oct/12 11:33 AM

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

Show

David Nolen added a comment - 27/Oct/12 11:33 AM fixed, http://github.com/clojure/core.logic/commit/423639c62584c0100f295cc87c1cf2f721e986e3

People

Assignee:

David Nolen

Reporter:

Brandon Bloom

Vote (0)

Watch (1)

Dates

Created:

26/Oct/12 10:37 PM

Updated:

27/Oct/12 11:33 AM

Resolved:

27/Oct/12 11:33 AM