getFifoOrdered

abstract fun getFifoOrdered(clause: Clause): Sequence<Clause>
Content copied to clipboard

Produces a Sequence of the clauses that would unify over the given Clause, scanning from data structure from the first position to the last one