Задание на лабораторную работу

1. Реализовать итерационную версию функции поиска tree-search.

2. Реализуйте функцию поиска в ширину в пространстве состояний (breadth-first-search).

3. Реализуйте функцию, печатающую лабиринт (maze-print).

4. Определите свой лабиринт my-maze (20x20). Оцените сколько времени потребуется для решения каждого из приведенных лабиринтов. (Для этого вы можете использовать функцию time. (time expr) возвращает значение выражения, но также печатает время ушедшее на его вычисление).

Контрольные вопросы

1. Когда лучше использовать поиск в ширину, а когда в глубину. (Под лучше понимается находить решения быстрее).

2. Какие параметры (search-strategy и tree-searcher) Вы передадите функции maze-solve? Почему?

3. Поскольку не каждый лабиринт имеет решение, что вы сделаете, чтобы быть уверенным в том, что поиск завершится в любом случае?

ЛИТЕРАТУРА

1. Структуры данных. Методические указания к самостоятельному изучению дисциплины «Программирование» для студентов направления «Компьютерная инженерия» / Сост. В. И. Павловский, П. Г. Бивойно и др. – Чернигов: ЧДТУ, 2001. – 82 с.

2. Хоггер К. Введение в логическое программирование. – М.: Мир, 1988. – 348 с.

3. Клоксин У., Меллиш К. Программирование на языке Пролог. – М.: Мир, 1987. – 336 с.

4. Братко И. Программирование на языке Пролог для искусственного интеллекта. – М.: Мир, 1990. – 560 с.

5. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог. – М.: Мир, 1990. – 235 с.

6. Ин Ц., Соломон Д. Использование Турбо-Пролога. – М.: Мир, 1993. – 608 с.

7. Янсон А. Турбо-Пролог в сжатом изложении. – М.: Мир, 1991. – 94 с.

8. Nilsson U., Maluszynski. Logic, programming and prolog (2ed). http://www.ida.liu.se/~ulfni/lpp/.

9. Хювенен Э., Сеппянен Й. Мир Лиспа. В 2-х т. – М.: Мир, 1990.

10. Лавров С., Силагадзе Г. Автоматическая обработка данных. Язык Лисп и его реализация. – М.: Наука, 1978.

11. Маурер У. Введение в программирование на языке Лисп. – М.: Мир, 1976.

12. Common Lisp the Language, 2^nd Edition by Guy L. Steele, Thinking Machines,Inc. http://www.cs.cmu.edu/Web/Groups/AI/lang/lisp/doc/cltl/