implementation("it.unibo.tuprolog.argumentation:causality-solver:0.11.2")
Facilitates structured argumentation by implementing the ASPIC+ framework atop the tuProlog engine.