get

open operator fun get(clause: <ERROR CLASS>): Sequence<<ERROR CLASS>>

Produces a Sequence of the clauses that would unify over the given Clause. Analogous to getFifoOrdered