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

plus

abstract operator override fun plus(theory: Theory): MutableTheory

Adds all the clauses of the given theory after all the clauses of this one, returning the resulting Theory (as a new instance, unless is emptyTheory.isEmpty).

Throws

IllegalArgumentException

if any clause of theory is not well-formed

open operator override fun plus(clause: Clause): MutableTheory

Adds the given clause to this Theory; equivalent to assertZ.

Throws

IllegalArgumentException

if clause is not well-formed