Prolog: A Relational Language And Its Applications - Malpas, John (Prentice Hall, 1987)