PROLOG. A RELATIONAL LANGUAGE AND ITS APPLICATIONS - Malpas, John (Prentice-Hall International, 1987)