assertZ

abstract fun assertZ(clause: Clause)

Appends clause to the dynamic knowledge base, as assertz/1 would.


abstract fun assertZ(fact: Struct)

Appends fact, treated as a fact (a clause with an empty body), to the dynamic knowledge base.