Задания

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

В 2008 г. необходимо сделать предикаты №7, 9, 11, 13, 14, 16–20.

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

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

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) – при задании графа некоторым оригинальным способом.

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

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

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

Сдача задания

Зайдите на страницу почты и отправьте готовое задание. Пожалуйста, отправьте все предикаты одним файлом! Где-то через 2–3 дня придет ответ по внутренней почте.

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

UPD2: Если вы хотите прислать графы, на которых вы тестировали, пожалуйста, обязательно закомментируйте их перед отправкой!