theory/it.unibo.tuprolog.theory/TheoryFactory/emptyMutableTheory

emptyMutableTheory

abstract fun emptyMutableTheory(unificator: Unificator): MutableTheory

Creates an empty MutableTheory using the given unificator.

open fun emptyMutableTheory(): MutableTheory

Creates an empty MutableTheory using this factory's unificator.