Prolog user's handbook : a library of utility programs - Filipič, Bogdan (Ellis Horwood series in computers and their aoolications, 1988)