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