derekelkins/slgjs

Add disequality constraints (and maybe framework for more general constraints)

Opened this issue · 0 comments

derekelkins commented

See "A Framework for Extending microKanren with Constraints". Probably want the absento constraint.