A Prolog primer - Prigmore, Clive (Arnold, 1987)