Software Engineering Methods For AI-Driven Deductive Legal Reasoning