Prolog : a relational language and its applications - Malpas, John. (Prentice-Hall, 1987)