clauseChoiceStrategy
abstract fun <C : Clause> clauseChoiceStrategy(unifiableClauses: Sequence<C>, context: ExecutionContext): C
Selects, from unifiableClauses, the clause that should be expanded in place of the current predication.
Called with the sequence of clauses whose head already unifies with the predication being solved, in context; the standard behaviour (prologStandard) picks Sequence.first, honouring the textual order clauses appear in the knowledge base (leaving the rest available for backtracking).