Логическое программирование (практикум, Д.В.Михайлов)

Материал из MachineLearning.

(Различия между версиями)
Перейти к: навигация, поиск
(Демо)
Строка 1: Строка 1:
Приводятся общие сведения и рекомендации по решению задач нечислового характера с применением концепции
Приводятся общие сведения и рекомендации по решению задач нечислового характера с применением концепции
-
логического программирования на примере двух наиболее известных реализаций языка
+
логического программирования на примере двух известных реализаций языка
Пролог - Турбо-Пролог 2.0 и Visual Prolog 5.2.
Пролог - Турбо-Пролог 2.0 и Visual Prolog 5.2.
Содержатся типовые задания, позволяющие приобрести навыки написания и отладки программ на языке Пролог при построении интеллектуальных систем различного назначения.
Содержатся типовые задания, позволяющие приобрести навыки написания и отладки программ на языке Пролог при построении интеллектуальных систем различного назначения.
Строка 56: Строка 56:
* [http://www.novsu.ru/file/1127591 Интерпретация меры TF-IDF для оценки важности слова относительно множества семантически эквивалентных фраз].
* [http://www.novsu.ru/file/1127591 Интерпретация меры TF-IDF для оценки важности слова относительно множества семантически эквивалентных фраз].
 +
 +
== Полезные ссылки ==
 +
 +
* [http://www.visual-prolog.com Visual Prolog: Multi paradigm programming language].
 +
 +
* [http://www.visual-prolog.com/download/71/Costas-Tyros_rus.pdf Коста Э. Visual Prolog 7.1 для начинающих].
 +
 +
* [http://www.visual-prolog.com/download/73/books/tyros/tyros73.pdf Costa E. Visual Prolog 7.3 for Tyros].
== Для самоконтроля ==
== Для самоконтроля ==

Версия 08:52, 1 февраля 2017

Приводятся общие сведения и рекомендации по решению задач нечислового характера с применением концепции логического программирования на примере двух известных реализаций языка Пролог - Турбо-Пролог 2.0 и Visual Prolog 5.2. Содержатся типовые задания, позволяющие приобрести навыки написания и отладки программ на языке Пролог при построении интеллектуальных систем различного назначения.

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

Автор практикума — Дмитрий Владимирович Михайлов, доцент кафедры Информационных технологий и систем Новгородского государственного университета им. Ярослава Мудрого.

Научный консультант - д.т.н., профессор Емельянов Геннадий Мартинович

Практикум является обязательным курсом для студентов спец. ПОВТ 3 курса, читается в 5-м семестре.

Лабораторный практикум по логическому программированию (PDF, 763КБ)

Содержание

Установочные лекции

Демо

Полезные ссылки

Для самоконтроля

Примерный список вопросов к теоретическому зачету по логическому программированию.

Личные инструменты