get

abstract fun get(clause: Clause): Sequence<Clause>

Reads all the clauses matching the given Clause