ГОУ ВПО «Сибирский государственный технологический университет»

Логическое программирование

Методические указания к выполнению

курсовых работ

Красноярск, 2008

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

Государственное образовательное учреждение высшего профессионального образования

Сибирский государственный технологический университет

Логическое программирование

Методические указания к выполнению

курсовых работ

Методические указания для студентов специальности 230105 «Программное обеспечение вычислительной техники и автоматизированных систем», направления 230100 «Информатика и вычислительная техника»

дневной, заочной и сокращенной форм обучения

Красноярск, 2008

Логическое программирование: Методические указания к выполнению курсовых работ для студентов специальности 230105 «Программное обеспечение вычислительной техники и автоматизированных систем», направления 230100 «Информатика и вычислительная техника» дневной, заочной и сокращенной форм обучения. - Красноярск: СибГТУ, 2008. – с.

Рецензент: Е.В. Касьянова

© Составители: Е. М. Товбис, к.т.н., доцент, С. П. Якимов

Утверждены на заседании кафедры информационных технологий 03.05.2008 г, протокол № 5.

Одобрены и рекомендованы к печати редакционно-издательским советом СибГТУ г., протокол №

Рецензент: к.т.н., доцент О.Э Якубайлик ()

Содержание

Содержание 4

Введение 5

1 Порядок выполнения курсовой работы 6

1.1 Содержание курсовой работы 6

1.2 Этапы выполнения курсовой работы 6

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

4 Библиографический список 13

4.1 Основная литература: 13

4.2 Дополнительная литература: 13

Приложения 14

Приложение А (обязательное) Образец титульного листа 14

Красноярск, 2008 14

Приложение Б (обязательное) Образец задания 15

Приложение В (обязательное) Образец содержания 16

Приложение Г (справочное) Диагностические схемы 17

Введение

Логическое программирование – технология программирования, возникшая на основе логического доказательства теорем. Типичным представителем концепции логического программирования является язык Пролог. Первоначально разработки в области логического программирования велись для использования в компьютерах пятого поколения. В настоящее время Пролог применяется главным образом в приложениях типа экспертных систем и интеллектуальных баз данных. Механизм языка основан на получении логического вывода из программы, а сама программа представляет собой не алгоритм, а описание задачи в терминах Пролога.

Курс «Логическое программирование» является частью курса «Функциональное и логическое программирование», входит в цикл специальных дисциплин и читается на третьем курсе студентам дневной формы обучения, на втором курсе студентам сокращенной формы обучения и на четвертом курсе студентам заочной формы обучения.

Для освоения материала дисциплины необходимо предварительное знакомство с курсами «Информатика», «Структурное программирование», «Дискретная математика» (в первую очередь с разделом «Логика предикатов первого порядка»).

В ходе изучения курса студенты выполняют курсовую работу. Задание на курсовую работу включает разработку интеллектуальной системы по варианту, оформление пояснительной записки в соответствии с ГОСТом, а также устную защиту выполненной работы.