Semantic Web Inference Scripting in Haskell