Федеральное агентство по образованию

Гоу впо «Глазовский государственый педагогический институт им. В.Г. Короленко»

Сборник задач по логическому программированию

Для студентов специальности «030100 – информатика»

Глазов – 2007

Сборник задач по логическому программированию/Сост. А.М. Акбашева, Р.Р. Камалов. – Глазов, ГГПИ, 2006 – 68 с.

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

Составители: А.М. Акбашева, ст. преподаватель кафедры информатики,

Р.Р. Камалов, к.п.н., доцент кафедры информатики ГГПИ

Рецензенты: В.С. Черепанов, д.п.н., профессор

В.В. Беляев, к.ф-м.н., профессор

Оглавление

Введение 4

Часть 1. Освоение интерфейса 6

Главное меню системы Турбо-Пролог 6

Основные команды редактирования 9

Использование звука и музыки 16

Часть 2. Лабораторные работы 19

Лабораторная работа №1. Общие сведения об языке логического программирования 19

Лабораторная работа №2. Арифметика. Управление логическим выводом в программах 33

Лабораторная работа №3. Повторение и рекурсия 36

Лабораторная работа №4. Применение рекурсии для обработки списков 39

Лабораторная работа №5. Решение логических задач. 45

Лабораторная работа №6. Головоломки. Игровые программы. 50

Лабораторная работа №7. Обработка файлов. Предикаты для работы с файлами 55

Лабораторная работа №8. Создание динамической базы данных. Предикаты для работы с базой данных 59

Лабораторная работа №9. Применение языка для решения задач ИИ. Создание экспертных систем 62

Литература 66

Введение

Пролог – один из языков логического программирования, позволяющий использовать как традиционный процедурный подход, так и декларативный подход, то есть программировать не ход решения задачи, а ее постановку. Встроенная в Пролог машина вывода, реляционный характер языка, средства автоматического поиска позволяют использовать не только механизм вывода от цели, но и легко моделировать другие парадигмы представления знаний: семантические сети, фреймы, продукции. В прологе отсутствуют средства объектно-ориентированного программирования, однако они легко моделируются средствами самого языка.

Считается, что научиться программировать на Прологе трудно, так как он отличается от традиционных языков программирования. Однако учащиеся незнакомые ни с одним языком программирования, воспринимают Пролог не хуже, чем любой алгоритмический язык.

Целью настоящей работы является знакомство с идеями и практическое освоение приемов логического программирования студентами педагогического ВУЗа обучающихся по специальности «030100 – Информатика».

Содержание работы разделено на две части: 1 часть освоение интерфейса Пролога (может изучаться студентами самостоятельно). Теоретический материал первой часть позволяет студенту разобраться в механизме работы с окнами, рассмотреть основные приемы работы в системе Turbo Prolog 3.3, освоить команды редактирования и команды главного меню. Вторая часть — лабораторные работы. Она состоит из 9 лабораторных работ, в которых рассматриваются основные понятия и предикаты языка, а также возможности применения языка Пролог для решения логических задач, при создании экспертных систем, интерфейсов на естественном языке. Изложение сопровождается большим количеством примеров, оформленных в соответствии с правилами и синтаксисом языка. В конце каждой лабораторной работы предлагаются задания для самостоятельной работы. Представленные примеры и предлагаемые задания ориентированы на использования сисетмы программирования Turbo Prolog 3.3. В лабораторных работах реализовано более 30 примеров. Методика освоения этой части зависит от выбора преподавателя.