Лабораторная по прологу.

Пролог. Задача на факты и правила

Задачи решаются с помощью написания рекурсивных и нерекурсивных правил самостоятельно (без функции findall и списков).

Не задавать новые виды фактов, кроме тех, что представлены в условии.

Даны факты вида "path(номер,остановка1,остановка2)". Считается, что между двумя остановками есть хорошая связь, если из остановки А в остановку Б и обратно [то есть обратный путь может быть другим] можно попасть минимум 2 различными маршрутами. Пользователь вводит остановку, вывести все остановки, с которыми есть хорошая связь от введенной.

то есть нужно искать все варианты, даже через другие остановки и сравнивать что маршруты разные за счёт номера маршрута из факта.

маршрут(1, a, b).

маршрут(1, b, c).

маршрут(2, a, b).

маршрут(2, b, d).

маршрут(2, d, c).

маршрут(3, c, a).

маршрут(4, c, b).

маршрут(5, d, b).

маршрут(5, b, a).

при таких фактах хорошая связь от остановки a будет с остановкой c:

так у меня есть 2 способа добраться от a к c:

a -> b -> c (маршрут 1)

a -> b -> d -> c (маршрут 2)

и обратно от c к a:

c -> a (маршрут 3)

c -> b -> a (маршрут 4)