predicationChoiceStrategy
abstract fun <P : Term> predicationChoiceStrategy(predicationSequence: Sequence<P>, context: ExecutionContext): P
Selects, from predicationSequence, the predication that should be solved first.
Called with the full, not-yet-fully-consumed sequence of pending predications available for selection in context; the standard behaviour (prologStandard) picks Sequence.first, honouring Prolog's left-to-right resolution order.