core-logic

2018-10-30T13:47:06.032400Z

@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.

2018-10-30T15:19:30.033200Z

2nd edition

2018-10-30T15:19:46.033600Z

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

2018-10-30T15:20:35.034300Z

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

2018-10-30T15:20:52.034600Z

Hopefully others don’t get stuck =)…

2018-10-30T16:06:44.035100Z

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

2018-10-30T16:13:51.035700Z

Thanks, I’ll have a read 😃