implementation("it.unibo.tuprolog.argumentation:core:0.14.2")
A lightweight library for structured argumentation, enabling defeasible reasoning and handling priorities over rules.
