theory/it.unibo.tuprolog.theory/MutableTheory/plus

plus

abstract operator override fun plus(theory: Theory): MutableTheory
Content copied to clipboard
open operator override fun plus(clause: <ERROR CLASS>): MutableTheory
Content copied to clipboard

Adds given Theory to this