theory/it.unibo.tuprolog.theory/Theory/Companion/emptyListed

emptyListed

@JvmStatic
fun emptyListed(): Theory
Content copied to clipboard

Creates a Theory backed by a list, containing the given clauses