Факультет » Второе высшее » Аннотации курсов » Логическое программирование

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

Анализируются декларативный и императивный подходы к программированию. Излагаются основы логического программирования. Рассматриваются следующие вопросы:

  • Логика предикатов и ее использование для реализации языка логического программирования.
  • Язык логического программирования - Пролог. Синтаксис языка, понятие унификации.
  • Списки как рекурсивная структура Пролога. Решение логических задач с использованием списков и механизма отсеченния.
  • Представление графов в Прологе. Поиск в глубину и ширину, применение в программировании интеллектуальных систем.
  • Некоторые приложения Пролога: программирование игр, создание экспертных систем. Применение Пролога в компьютерной алгебре Использование Пролога в синтаксическом разборе, программирование метаинтерпретаторов.
  • Недетерминированное программирование.

Изложение иллюстрируется примерами программ.

Курс включает лабораторные работы на Strawberry Prolog (или Amzi Prolog) по решению логических задач и созданию макета интеллектуальной системы.

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



Лекторы: асс. Левинская М.А., ст. преп. Сошников Д.В.
Объем: 68 ауд. часов


Телефон:
(499)158-48-43
(499)158-49-11
Электропочта:
edu@id.ru