Programming in micro-PROLOG - Saram, Hugh de (Ellis Horwood Series in Computers and Their Applications / series editor B. Meek)