prologStandard

The SolverStrategies implementing the ISO/Standard-Prolog behaviour: leftmost predication first, clauses tried in their knowledge-base order, and success recognized exactly when the resulting term is Term.isTrue.

This is the only SolverStrategies instance :solve-streams currently wires up (see StreamsExecutionContext's default solverStrategies value).