Fork me on GitHub
#core-logic
<
2018-10-30
>
rickmoynihan13:10:06

@folcon: do you have 1st or 2nd edition reasoned schemer? Because the minikanren implementation changed between those versions… and core.logic was derived from the 1st edition of the reasoned schemer not the 2nd. I’m not sure of all the differences might be caused that, but there will certainly be some. It might be worth mentioning this on that wiki page.

folcon15:10:30

2nd edition

folcon15:10:46

as I’m going to it fresh so I thought I’d get the 2nd ed

folcon15:10:35

I’m happy to document it somewhere, I was planning on doing a write up anyway…

folcon15:10:52

Hopefully others don’t get stuck =)…

rickmoynihan16:10:44

@folcon: IIRC someone else was on here a few weeks ago who had some similar confusion.

folcon16:10:51

Thanks, I’ll have a read 😃