Text this: KLM-Style Defeasible Reasoning for Datalog