Глава 11

11. 1 вглубину1( [Верш | Путь], [Верш | Путь]) :-
цель( Верш).
вглубину1( [Верш | Путь], Решение) :-
    после( Верш, Верш1),
    not принадлежит( Верш1, Путь),
    вглубину1( [ Верш1, Верш | Путь], Решение).

11. 6 решить( СтартМнож, Решение) :-
                            % СтартМнож - множество стартовых вершин
    bagof( [Верш], принадлежит( Верш, СтартМнож),
                                                        Пути),
    вширину( Пути, Решение).