SLD resolution is non-deterministic in the sense that it does not determine the search strategy for exploring the search tree.
ВЛВ-резолюція є не детерміністською в тому сенсі, що вона не визначає стратегію пошуку для дослідження дерева пошуку.