theory/it.unibo.tuprolog.theory/Theory/assertA

assertA

abstract fun assertA(clause: Clause): Theory

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

Throws

IllegalArgumentException

if clause is not well-formed

open fun assertA(struct: Struct): Theory

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

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

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

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