<< Back to previous view

[LOGIC-154] walk* of an empty set overflows the stack Created: 31/Dec/13  Updated: 31/Dec/14

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

Type: Defect Priority: Major
Reporter: Kevin Downey Assignee: David Nolen
Resolution: Unresolved Votes: 0
Labels: None

Attachments: Text File 0001-logic-154-walk-of-an-empty-set-overflows-the-stack.patch    

 Description   

I noticed this issue when asserting a relation with an empty set in it in the new pldb stuff, the minimal case I have is (walk* empty-s #{})



 Comments   
Comment by Norman Richards [ 31/Dec/14 2:01 PM ]

Here's an update that allows sets to be uses as terms and correctly walks sets. It does not do unification of one set with another, which is a much harder problem.

Comment by David Nolen [ 31/Dec/14 2:32 PM ]

The fact that equal sets don't unify is problematic. That at least should work. Sets with logic vars in them should throw. Unification (assignment) of a set to a logic var should work.

Generated at Wed Jul 08 01:53:05 CDT 2015 using JIRA 4.4#649-r158309.