datalog/it.unibo.tuprolog.datalog/literals

literals

val Clause.literals: List<Struct>