basic support from defining Haskell to Logic translation