Задания

Задания можно найти на странице Пролог в методичке на RecycleBin.ru.

Пожалуйста, внимательно прочитайте Правила оформления предикатов, приведённые ниже.

Правила оформления предикатов

1. Все предикаты с 1 по 11 должны начинаться с префикса m_, чтобы избежать коллизии со встроенными предикатами Пролога. Например, m_sort, m_subset.

2. Для задания дерева используйте структуру tree(L,R,Metka).

3. Особым образом трактуются предикаты, работающие с графами. Есть ряд способов, каким можно задать граф (см. методичку). Большая просьба – используйте явный или неявный способ задания графа с помощью edge(X,Y,L) (всегда с 3 параметрами!). В принципе, можно использовать и другой способ, только разбираться проверяющий будет дольше.

Если вы используете неявный способ задания графа, используйте суффикс _im.
Если вы используете явный способ задания графа, используйте суффикс _ex.
Если вы используете оригинальный способ задания графа, используйте суффикс _xx. И пожалуйста, сделайте об этом заметку в виде комментария в начале вашего файла. Использовать крайне не рекомендуется!

Примеры:
path_im(X,Y,L), cyclic_im – при неявном задании графа.
path_ex(G,X,Y,L), is_connected_ex(G) – при явном задании графа.
path_xx(G,X,Y,L) – при задании графа некоторым оригинальным способом.

Считается, что граф неориентированный. (Как это попроще сделать, если я хотел писать в терминах ориентированного графа?)

Тестовый набор

Проверить правильность оформления задания вы должны, запустив тестовый набор.