<< Back to previous view

[LOGIC-2] Provide more convenient syntax for defining a series of facts Created: 18/May/11  Updated: 28/Jul/13  Resolved: 24/Jul/11

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

Type: Enhancement Priority: Minor
Reporter: David Nolen Assignee: David Nolen
Resolution: Completed Votes: 0
Labels: None

Attachments: Text File 0001-rel-defrel-extend-rel.patch     Text File rel.patch    
Approval: Ok

Comment by Pepijn de Vos [ 19/May/11 6:46 AM ]

Not sure if this is a separate issue, but I'd like various ways to create a relation from a seq. Possibly anonymous.

(rel [['monkey 'banana] ['foo 'bar]])

Comment by Pepijn de Vos [ 27/May/11 7:36 AM ]

Patch added for anonymous relations and extending existing relations. Removed superfluous macros in the process. API is slightly different now.

Comment by David Nolen [ 28/May/11 10:35 AM ]

The patch mostly looks good. However defrel no longer takes args and it should (this breaks some tests). The args are like documentation and in the future I'd like to support syntax like this:

(defrel child ^:index p1 ^:index p2)

For specifying which elements of the tuple to index.

Comment by David Nolen [ 24/Jul/11 1:18 PM ]

not going to do the anonymous rel bit. fact/facts are now fns not macros.

Generated at Sun Oct 22 23:01:03 CDT 2017 using JIRA 4.4#649-r158309.