Prolog использует поиск с возвратом.
cyber, ты бы открыл википедию и почитал, что такое
поиск с возвратом. Я даже не понимаю, о каком поиске с возвратом может идти речь, если у вас нет дерева
Поиск с возвратом, это практически тоже самое, что и
поиск в глубину, который, как и другие методы
неинформированого поиска реализован (из коробки) в моем
рекурсивном итераторе,
RecursiveIterator / Рекурсивный итератор