placeholder -- install logic-classes for future use of Data.Logic.KnowledgeBase