theory/it.unibo.tuprolog.collections/ClauseMultiSet/get

get

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

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

Generated by Dokka
© 2026 Copyright