Министерство общего и профессионального образования

Российской Федерации

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

____________________________________________________________________________

№ 1389

681 Л 694

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

Методические указания

к выполнению лабораторных работ

для студентов 3 курса ФПМИ

(специальность 01.02) дневного отделения

Новосибирск

2002

681.3.06.019(076.5)

Составитель Т.А.Шапошникова, ст.преп.,

Т.В.Авдеенко, канд.техн.наук, доц.

Работа подготовлена на кафедре прикладной математики и

кафедре программных систем и баз данных

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

2002 г

ВВЕДЕНИЕ

Лабораторные работы по курсу "Логическое программирование" являются эффектив­ным средством развития у студентов навыков самостоятельной науч­но-исследовательской работы. В ходе выполнения лабораторных работ студенты:

- практически усваивают наиболее важные теоретические положе­ния курса;

- закрепляют навыки работы на ЭВМ и знакомятся с основными приемами реализации элементов систем программирования;

- развивают способности к самостоятельной творческой работе при решении системных задач.

Лабораторный практикум включает работы, предусмотренные учеб­ной программой курса "Логическое программирование".

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

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

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

Для каждой лабораторной работы определяется ее содержание и со­держание отчета.

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

Зачет по лабораторному практикуму студент получает после вы­полнения и защиты всех установленных планом работ.

Зачет по лабораторному практикуму студент получает после вы­полнения и защиты всех установленных планом работ.

Лабораторная работа №1

Введение В Турбо-Пролог

Цель работы

Ознакомиться с особенностью работы Турбо-оболочки для языка ПРОЛОГ, с принципами программирования па языке ПРОЛОГ, структурой программы в Турбо-Прологе.