3 ms·
Do you have any recommendations on learning Prolog with the goal of writing practical/real type systems? Ideally a book that has runnable example programs? I
by chubot 9y ago
Do you have any recommendations on learning Prolog with the goal of writing practical/real type systems? Ideally a book that has runnable example programs?
I had bookmarked this awhile ago but haven't gone through it:
Writing custom type systems for Python in Prolog
https://news.ycombinator.com/item?id=12108041 https://news.ycombinator.com/item?id=12108041
- mcguire 9y agoWell, hmph. I've been meaning to experiment with Prolog-as-a-type-system-for-a-language for a long time. The wayback machine has a valid link to the article: https://web.archive.org/web/20170216030548/http://code.alehander42.me/prolog_type_systems https://web.archive.org/web/20170216030548/http://code.aleha...