DLog Reasoner Import and continuance in Prolog