core-logic

2018-03-22T03:28:50.000148Z

So I got through http://learnprolognow.org, and the blog post which introduces core.logic is very well done. I'm thinking I might try and do the http://learnprolognow.org exercises in core.logic, I was able to get through quite a few of them fairly easily with only a few misunderstandings

ajs 2018-03-23T18:57:46.000787Z

Where is that blog post?

2018-03-25T10:12:41.000049Z

Ah sorry, just caught this, here you go https://bernardopires.com/2013/10/try-logic-programming-a-gentle-introduction-to-prolog/

2018-03-25T10:13:03.000004Z

The second one is the india coloring problem done in core.logic

ajs 2018-03-25T21:21:20.000083Z

Thanx!

2018-03-22T03:29:23.000277Z

I kind of skipped the Definite Clause Grammars section of the book, is it really necessary? http://learnprolognow.org/lpnpage.php?pagetype=html&pageid=lpn-htmlch7

2018-03-22T03:30:55.000041Z

Kindof skimmed over the Cuts, green cuts, red cuts, and negation stuff as well, but i'm probably going to come back to that

xtreak29 2018-03-22T05:50:41.000047Z

Thanks, I haven't read the learnprolognow completely. If you want more info and lispish content there is https://mitpress.mit.edu/books/reasoned-schemer and the last chapter on SICP I think implements a logic programming DSL from scratch using Scheme.

👍 1