DECLARATIVE DEBUGGING OF THE PARALLEL LOGIC PROGRAMMING LANGUAGE GHC.