MonadIO Datalog