theory/it.unibo.tuprolog.theory/TheoryFactory/emptyTheory

emptyTheory

abstract fun emptyTheory(unificator: Unificator): Theory

Creates an empty Theory using the given unificator.

open fun emptyTheory(): Theory

Creates an empty Theory using this factory's unificator.