
- •Федеральное агентство по образованию
- •Гоу впо «Глазовский государственый педагогический институт им. В.Г. Короленко»
- •Сборник задач по логическому программированию
- •Для студентов специальности «030100 – информатика»
- •Оглавление
- •Часть 1. Освоение интерфейса 6
- •Часть 2. Лабораторные работы 19
- •Введение
- •Часть 1. Освоение интерфейса Главное меню системы Турбо-Пролог
- •Основные команды редактирования
- •Использование предикатов для работы с окнами
- •Использование окон для ввода и вывода
- •Использование звука и музыки
- •Часть 2. Лабораторные работы Лабораторная работа №1. Общие сведения об языке логического программирования
- •Задания для самостоятельной работы
- •Лабораторная работа №2. Арифметика. Управление логическим выводом в программах
- •Задания для самостоятельной работы
- •Лабораторная работа №3. Повторение и рекурсия
- •Задания для самостоятельной работы
- •Рекомендуемая литература
- •Лабораторная работа №4. Применение рекурсии для обработки списков
- •Задания для самостоятельной работы
- •Рекомендуемая литература
- •Лабораторная работа №5. Решение логических задач.
- •Задания для самостоятельной работы
- •Рекомендуемая литература
- •Лабораторная работа №6. Головоломки. Игровые программы.
- •Задания для самостоятельной работы
- •Рекомендуемая литература
- •Лабораторная работа №7. Обработка файлов. Предикаты для работы с файлами
- •Задание для самостоятельной работы
- •Лабораторная работа №8. Создание динамической базы данных. Предикаты для работы с базой данных
- •Задание для самостоятельной работы
- •Лабораторная работа №9. Применение языка для решения задач ии. Создание экспертных систем
- •Задания для самостоятельной работы
- •Рекомендуемая литература
- •Литература
- •Сборник задач по логическому программированию
Задания для самостоятельной работы
Разработать экспертную систему, тему выбрать самостоятельно. Отчет должен содержать следующие пункты:
Тема ЭС.
Назначение, возможности программы.
Разработать структурно-функциональную схему.
Определить базу знаний, разработать механизм вывода, интерфейс программы.
По каким параметрам программу можно отнести к классу ЭС.
Рекомендуемая литература
Братко И. Программирование на языке Пролог для ИИ: Пер. с англ.- М.- Мир, 1990
Ин Ц., Соломон Д. Использование Турбо-Пролога: Пер. с англ.-М.:Мир, 1993.-608 с.,ил.
Марселлус Д. Программирование экспертных систем на ТурбоПрологе: Пер. с англ./Предисл. С.В.Трубицына.-М.-Финансы и статистика, 1994.-256с.:ил.
Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог: Пер.с англ.-М.: Мир, 1990.-235 с., ил.
Таунсенд К., Фохт Д. Проектирование и программная реализация экспертных систем на персональных ЭВМ: Пер. с англ./Предисл. Г.С.Осипова.-М. .-Финансы и статистика, 1990.-320с.:ил.
Литература
Братко И. Программирование на языке Пролог для ИИ: Пер. с англ.- М.- Мир, 1990
Доорс Дж., Рейблейн А.Р., Вадера С. Пролог-язык программирования будущего: Пер. с англ.- М.- Финансы и статистика, 1990
Стобо Д.Ж. Язык программирования Пролог: Пер. с англ.- М.- Радио и связь, 1993.-368 с.:ил.
Ин Ц., Соломон Д. Использование Турбо-Пролога: Пер. с англ.-М.:Мир, 1993.-608 с.,ил.
Информатика. Задачник-практикум в 2 т./Под ред. И.Г.Семакина, Е.К. Хеннера: Том.2.-М.:-БИНОМ. Лаборатория знаний, 2003.-278 с.:ил.
Информатика:Учеб.пособие для студ.пед.вузов/А.В.Могилев, Н.И.Пак, Е.К.Хеннер;Под ред. Е.К.Хеннера.-3-е изд., перераб. и доп.-М.:Издательский центр “Академия”, 2004.-848 с.
Каймин В.А. Основы компьютерной технологии.- М.:Финансы и статистика, 1992.-208 с.: ил.
Каймин В.А. Информатика: Учебник.-2-е изд., перераб. и доп.-М.-ИНФРА-М,2001.-272 с.
Кларк К., Маккей Ф. Введение в логическое программирование на микро-Прологе. Пер. с англ.- М.- Радио и связь, 1987.
Клоксин У., Меллиш К. Программирование на языке Пролог: Пер.с англ.-М.: Мир, 1987.
Малпас Дж. Реляционный язык Пролог и его применение. Пер. с англ./Под ред. В.Н. Соболева.-М.-Наука, 1990
Марселлус Д. Программирование экспертных систем на ТурбоПрологе: Пер. с англ./Предисл. С.В.Трубицына.-М.-Финансы и статистика, 1994.-256с.:ил.
Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог: Пер.с англ.-М.: Мир, 1990.-235 с., ил.
Таунсенд К., Фохт Д. Проектирование и программная реализация экспертных систем на персональных ЭВМ: Пер. с англ./Предисл. Г.С.Осипова.-М. .-Финансы и статистика, 1990.-320с.:ил.
Хоггер К. Введение в логическое программирование: Пер. с англ.-М.: Мир, 1988.-348 с.
Пособие подготовлено на кафедре информатики Глазовского государственного педагогического института им. В.Г. Короленко