A simple Answer Set solver in Haskell