core/it.unibo.tuprolog.argumentation.core.engine.stdlib.rule/NegationAsFailure/Companion

Companion

object Companion

Properties

Link copied to clipboard
const val ARITY: Int = 1
Link copied to clipboard
const val FUNCTOR: String
Generated by Dokka
arg2p