get

open operator fun get(clause: Clause): Sequence<Clause>

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