Reification should be dealt with as a reaction that is special-cased

[calvis]

For simplicity's sake.

[dfried00]

Claire,

We have argued for pulling it and take out and demonstrated one way a user could do it, but as hard as it can get, it probably should still be in the hands of a user.

On Mon, Nov 4, 2013 at 2:12 PM, Claire Alvis [email protected]:

For simplicity's sake.

— Reply to this email directly or view it on GitHubhttps://github.com/calvis/cKanren/issues/16 .

[calvis]

Dan, it will still be in the hands of the user.  In cKanren right now, you can still pick how constraints should be reified but it’s a clunky extra bit of information.  Being “reified” is pretty much the same as being “re-run” and it should be treated as such (except that a reified constraint will come out instead of a goal!)

Claire