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

plus

abstract operator fun plus(theory: Theory): Theory

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 fun plus(clause: Clause): Theory

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

Throws

IllegalArgumentException

if clause is not well-formed