theory/it.unibo.tuprolog.theory/MutableTheory/assertA

assertA

abstract override fun assertA(clause: Clause): MutableTheory

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

Throws

IllegalArgumentException

if clause is not well-formed

open override fun assertA(struct: Struct): MutableTheory

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

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

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

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

Throws

IllegalArgumentException

if any of clauses is not well-formed