theory/it.unibo.tuprolog.theory/MutableTheory/assertZ

assertZ

abstract override fun assertZ(clause: Clause): MutableTheory

Returns a Theory with the given clause inserted after all other clauses of this one.

Throws

IllegalArgumentException

if clause is not well-formed

open override fun assertZ(struct: Struct): MutableTheory

Returns a Theory with the Fact built from struct inserted after all other clauses of this one

abstract override fun assertZ(clauses: Iterable<Clause>): MutableTheory

abstract override fun assertZ(clauses: Sequence<Clause>): MutableTheory

Returns a Theory with the given clauses inserted, in order, after all other clauses of this one.

Throws

IllegalArgumentException

if any of clauses is not well-formed