Experiments with logic programming in Haskell