Logic and Declarative Language - DOWNWARD, Michael (London TAYLOR, 1998)