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

assertZ

abstract fun assertZ(clause: <ERROR CLASS>): Theory
Content copied to clipboard
open fun assertZ(struct: <ERROR CLASS>): Theory
Content copied to clipboard

Adds given clause after all other clauses in this theory


abstract fun assertZ(clauses: Iterable<<ERROR CLASS>>): Theory
Content copied to clipboard
abstract fun assertZ(clauses: Sequence<<ERROR CLASS>>): Theory
Content copied to clipboard

Adds the given clauses after all other clauses in this theory