Дан ациклический путь по графу: A®B®C®...®E. Вершины графа - процедуры со списками параметров
A: [ (a,I), (b,I) (c,M) (d,R)...]
...
E: [(b,R), (c,I),... (g,R)]
С помощью списка каждая процедура связывается конкретными данными из ОД.
Данные индексированы типами: I - исходное для процедуры, M - модифицируемое,
R - вычисляемое.
Необходимо построить список всех данных для цепочки процедур и идентифицировать их типы учитывая, что
· если для любого данного (I или M) предшествует M или R, то результирующим типом будет I;
· если R предшествует I или M, то результирующим типом будет R.
Другими словами, определить множество данных, которым необходимо присвоить начальные значения.
|
22. Игра «Выдающийся ум»
Написать программу для игры «Выдающийся ум».
Игрок - Человек выбирает секретный код, представляющий собой последовательность из N различных десятичных цифр (N=4 или N=5). Игрок – Компьютер пытается угадать задуманный код и спрашивает игрока – Человека о числе «быков» (число «быков» - количество совпадающих цифр в одинаковых позициях предполагаемого и задуманного кодов) и числе «коров» (число «коров» - количество совпадающих цифр, входящих в предполагаемый и задуманный код, но находящихся в разных позициях). Код угадан, если число «быков» = N.
23. Программа унификации
Даны два дизъюнкта с противоположными знаками, необходимо унифицировать их термы.
24. Игра в «слова»
Дано исходное множество слов (5-10 слов). Сформировать выходное множество слов таким образом, чтобы каждое последующее слово начиналось на последнюю букву предыдущего слова.
Входное множество: слон, желудок, корова, нож, арбуз.
Выходное множество: слон, нож, желудок, корова, арбуз.
25. Поиск в лабиринте
Найти телефон в доме, план которого задан на рисунке. Буквой «a» обозначена улица, остальные буквы обозначают комнаты в доме.
 |
Список литературы
1. Адаменко А.Н., Кучуков А. Логическое программирование и Visual Prolog – Спб.: БХВ – Петербург, 2003.
2. Братко И. Алгоритмы искусственного интеллекта на языке Prolog. М.: Вильямс, 2004. – 637 с.
3. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог: Пер. с англ. М.: Мир.1990.
Учебное издание
Солдатова Ольга Петровна, Лёзина Ирина Викторовна
