PROLOG / Все пути в ориентированном графе с петлями

Question

Мне дана следующая диаграмма:

Диаграмма здесь

Первый шлюз / соединитель - это ИЛИ-шлюз / соединитель (он имеет кружок вЭто).Шлюз / соединитель с 'x' является XOR-шлюзом / соединителем.

ИЛИ-шлюз указывает, что будет выбран один или несколько доступных путей.XOR-шлюз представляет собой решение выбрать ровно один путь в потоке.

Мне нужно преобразовать эту диаграмму в PROLOG, чтобы получить все возможные пути от узла 1 к узлу 8, но у меня проблемы с кодированиемИЛИ-шлюз и найти все возможные пути.

Как я могу легко преобразовать эту диаграмму в Пролог и как я могу найти все возможные пути относительно шлюзов между двумя узлами?

Спасибо за ответы заранее.

Answer 1

Как вы должны знать, программа Prolog - это набор правил.На вашем графике каждый узел может начинать правило, где каждое направленное ребро дает явное правило.Кодируя ваш граф как набор правил, запрос на то, что удовлетворяет, скажем, (1, X, 8), даст вам любой возможный путь, даже бесконечный.).Может быть, я не понимаю специальных функций, стоящих за OR или XOR.Пожалуйста, объясните больше, если это не так тривиально, как кажется.