from .reasoner import ReasonerBase
from .kb import KBBase, prolog_KB