get
abstract fun getLifoOrdered(clause: <ERROR CLASS>): Sequence<<ERROR CLASS>>
Content copied to clipboard
Produces a Sequence of the clauses that would unify over the given Clause, scanning from data structure from the last position to the first