Программированию

Логическое программирование в качестве объекта изучения пришло в нашу школу гораздо раньше объектного. В период с 1987 по 1995 г. С.Г.Григорьевым, Е.А.Ерохиной, В.А.Кайминьгм, Н.Д.Угриновичем, А. Г. Щеголевым и другими авторами были разработаны многочисленные методические материалы по логическому программированию. Тем не менее специального пособия по организации курса логического программирования, продолжающего базовый курс информатики, пока не существует.

Поскольку иных реально доступных языков, кроме Пролога, для реализации логического программирования не существует, то этот же курс можно назвать (как часто и делают) «Язык программирования Пролог».

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

Системы программирования, с которыми приходится работать имея дело с Прологом, могут значительно отличаться друг от друга. В этом плане выделяется Турбо Пролог, идеологические расхождения которого со стандартом языка особенно заметны. Для обучения можно рекомендовать Arity-Prolog. В любом случае изложение материала рекомендуется вести в рамках стандарта, подчеркивая особенности и различия конкретной системы программирования.

При планировании курса учитель должен исходить из отпущенных на него часов. Возможно несколько вариантов: ознакомительный 34-часовой курс, более полный 68-часовой или еще больший, носящий характер интегрированного курса (например, с классической логикой и/или математической логикой). Ниже представлены варианты такого планирования.

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