Introduction to logic programming - Hohenberg, John (Editor) (London, 1984)