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

emptyListed

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

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