A plugin for DLVHEX to use MongoDB as backend Knowledgebase.