theory/it.unibo.tuprolog.theory/Theory/plus

plus

abstract operator fun plus(theory: Theory): Theory
Content copied to clipboard

Adds given Theory to this


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

Adds given Clause to this Theory