Haskell implementation of coalgebraic logic programming