Implementing Prolog via Microprogramming a General Purpose Host Computer [pdf]www2.eecs.berkeley.edu·4 pts·fasquoika·1