The ever-delightful Aphyr has written another entry in his mock-technical interview series, this time using SWI-Prolog: Unifying the Technical Interview
In this one, he builds a Lisp interpreter in Prolog, then implements microKanren in the Lisp 
4 Likes