Programming in micro-Prolog - Saram, Hugh de (1985)