Defeasible Reasoning via Datalog$^\neg$