Функцион_Министерство образования Республики Беларусь
Учреждение образования
«Белорусский государственный университет
информатики и радиоэлектроники»
Кафедра программного обеспечения информационных технологий
Р
УИ
ФУНКЦИОНАЛЬНОЕ И ЛОГИЧЕСКОЕ
ПРОГРАММИРОВАНИЕ
БГ
Методическое пособие
для студентов специальности I-40 01 01
"Программное обеспечение информационных технологий"
а
В 4-х частях
ек
т
ио
Часть 2
Язык программирования Пролог
бл
Би
Минск 2006
УДК 681. 3. 06 (075. 8)
ББК 32. 973-018. 1я73
Ф 94
Р е ц е н з е н т:
Зав. кафедрой программного обеспечения
сетей телекоммуникаций Высшего государственного колледжа связи,
д-р техн. наук, профессор А. А. Прихожий
Авторы:
С. В. Крицкий, И. М. Марина,
Р
Е. В. Мельникова, Е. В. Шостак
УИ
Функциональное и логическое программирование: Метод. пособие
Ф 94 для студ. спец. I-40 01 01 «Программное обеспечение информационных
технологий». В 4 ч. Ч. 2: Язык программирования Пролог /
БГ
С. В. Крицкий, И. М. Марина, Е. В. Мельникова, Е. В. Шостак. – Мн. :
БГУИР, 2006. – 28 с. ISBN 985-444-967-x (ч. 2)
а
Во второй части методического пособия изложены основы логического
ек
программирования на примере языка Пролог.
Пособие предназначено для студентов дневной и дистанционной форм
обучения. т
УДК 681. 3. 06(075. 8)
ио
ББК 32. 973-018. 1я73
бл
Ч. 1: Функциональное и логическое программирование: Метод. пособие для
студ. спец. I-40 01 01 "Программное обеспечение информационных
технологий" в 4-х ч. Ч. 1: Язык программирования Лисп/ И. А. Мурашко,
Би
И. М. Марина. – Мн. : БГУИР, 2002. ISBN 985-444-967-x (ч. 2) Коллектив авторов, 2006
ISBN 985-444-417-1 БГУИР, 2006
2
СОДЕРЖАНИЕ
Введение…………………………………………………………………………. 4
Лабораторная работа № 1………………………………………………………. . 5
Лабораторная работа № 2………………………………………………………. . 9
Лабораторная работа № 3………………………………………………………. . 13
Лабораторная работа № 4………………………………………………………. . 16
Р
УИ
Лабораторная работа № 5………………………………………………………. . 22
Литература………………………………………………………………………. . 27
БГ
а
ек
т
ио
бл
Би
3
Введение
Логическое программирование радикально отличается от других языков
программирования.