Companion
object Companion
Properties
Link copied to clipboard
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.