core-logic

jeremyraines 2015-10-27T21:38:08.000018Z

is there anywhere that explains core.logic pattern matching well?

jeremyraines 2015-10-27T21:38:28.000019Z

I can’t make sense of the zebras example here: https://github.com/swannodette/logic-tutorial

nberger 2015-10-27T21:47:18.000021Z

@jeremyraines: Perhaps there's something better, but this might help: http://objectcommando.com/blog/2011/10/13/appendo-the-great/

jeremyraines 2015-10-27T21:50:03.000023Z

thanks, I’ll check it out

nberger 2015-10-27T21:52:45.000024Z

@jeremyraines: just to be clear, it will help mostly in understanding righto, not the rest

jeremyraines 2015-10-27T21:55:33.000025Z

ok, cool

jeremyraines 2015-10-27T22:02:50.000026Z

are the ?-prefixed variables logic variables? Like a named _ ?

nberger 2015-10-27T22:04:16.000027Z

They are logic vars there, yes

nberger 2015-10-27T22:04:51.000028Z

I think it's just a convention, and they would be vars even without the ?, but not sure

jeremyraines 2015-10-27T22:06:24.000029Z

oh, got it.