A simple ASP solver in Haskell