implementation("it.unibo.tuprolog.argumentation:core:0.8.0")
Facilitates structured argumentation by implementing an ASPIC⁺-like framework atop the tuProlog engine.