assertA

abstract fun assertA(clause: Clause)
Content copied to clipboard

Tries to insert the given Clause as the first occurrence of its own family