Hacker News new | past | comments | ask | show | jobs | submit login

It's cool to see this, but I think what Prolog could really use is a "Real World Prolog" style of treatment showing things outside the usual logic puzzles and toy genealogy examples. Like, starting from the elegantly tiny compiler near the end of The Art of Prolog and going further with practical examples -- systems administration tasks with Marelle, maybe show Constraint Handling Rules, et cetera.

Applications are open for YC Summer 2020

Guidelines | FAQ | Support | API | Security | Lists | Bookmarklet | Legal | Apply to YC | Contact