The Mercury logic programming system
(news.ycombinator.com)
1.
2.
Prolog Basics Explained with Pokémon
(news.ycombinator.com)
3.
Abstract Machines for Logic Programs
(news.ycombinator.com)