Дисциплина «Логическое программирование» относится к вариативной части профессионального цикла и изучается в 4 семестре. Для освоения дисциплины требуются знания в области математической логики, в особенности, в части логики предикатов первого порядка. Желательно знакомство с курсом структурного программирования. В свою очередь, материал дисциплины используется в дальнейшем при изучении курсов «Интеллектуальные системы», «Теория формальных языков и компиляторов», «Параллельное программирование». Цель лабораторного практикума – дать общее представление о логическом программировании на примере языка Турбо Пролог.
Успешное освоение лабораторного практикума способствует формированию у обучающихся направления 230100 следующих профессиональных компетенций:
ПК-5 – разрабатывать компоненты программных комплексов и баз данных, использовать современные инструментальные средства и технологии программирования;
ПК-6 – обосновывать принимаемые проектные решения, осуществлять постановку и выполнять эксперименты по проверке их корректности и эффективности.
Успешное освоение лабораторного практикума способствует формированию у обучающихся направления 231000 следующих профессиональных компетенций:
ПК-12 – навыки моделирования, анализа и использования формальных методов конструирования программного обеспечения;
ПК-16 – навыки использования различных технологий программного обеспечения.
Пролог принципиально отличается от традиционных языков программирования в первую очередь тем, что в нем требуется описывать логическую модель предметной области в терминах объектов и отношений между ними без подробного описания алгоритма задачи. Программа на языке Пролог состоит из множества утверждений, каждое из которых является либо фактом (аксиомой) из заданной предметной области или правилом (теоремой), указывающим, как решение связано с заданными фактами или правилами. В настоящее время наиболее известны реализации Arity-Prolog, MProlog, TurboProlog. Все эти версии разрабатывались независимо и поэтому сильно отличаются друг от друга. Говорить о каком-либо стандарте языка затруднительно: можно изучать теоретические основы языка и какие-то его конкретные реализации.
В настоящем учебном пособии в качестве инструмента для изучения основ логического программирования используется разработка фирмы BorlandInternational (США, 1985)– Турбо Пролог, версия 2.0.