implementation("it.unibo.tuprolog.argumentation:causality-solver:0.12.1")
Facilitates structured argumentation and defeasible reasoning, handling rule priorities and burden of proof.