Logic And Declarative Language door Michael Downward & Downward M.