Implementing Prolog via Microprogramming a General Purpose Host Computer [pdf]www2.eecs.berkeley.edu 4fasquoika4y1 comment