theory/it.unibo.tuprolog.theory/Theory/assertZ

assertZ

abstract fun assertZ(clause: Clause): Theory

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

Throws

IllegalArgumentException

if clause is not well-formed

open fun assertZ(struct: Struct): Theory

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

abstract fun assertZ(clauses: Iterable<Clause>): Theory

abstract fun assertZ(clauses: Sequence<Clause>): Theory

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