core.logic

walk* of an empty set overflows the stack

Details

  • Type: Defect Defect
  • Status: Open Open
  • Priority: Major Major
  • Resolution: Unresolved
  • Affects Version/s: None
  • Fix Version/s: None
  • Component/s: None
  • Labels:
    None

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 #{})

Activity

Hide
Norman Richards added a comment -

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.

Show
Norman Richards added a comment - 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.
Hide
David Nolen added a comment -

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.

Show
David Nolen added a comment - 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.

People

Vote (0)
Watch (1)

Dates

  • Created:
    Updated: