[Haskell-cafe] SLD resolution code in Haskell