assertZ

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

Insert the given Clause as the first occurrence of its own family