Аннотации:
Настоящие методические указания предназначены для изучения основных возможностей среды и типовых приемов логического программирования. Приведены необходимые теоретические сведения об основах логического программирования и типовые примеры решения задач, представлены варианты индивидуальных заданий для лабораторных работ в среде ПРОЛОГ и порядок их выполнения, а также контрольные вопросы для самостоятельной работы студентов. Особое внимание уделено вопросам разработки рекурсивных процедур, обработки списков, динамических баз данных и бинарных деревьев.