Книга: Язык программирования SWI-Prolog

Скачать

Изложены основы языка программирования SWI-Prolog, приведены примеры решения задач, иллюстрирующих основные возможности языка. Содержит большое количество заданий для самостоятельного решения. Эти же задания можно использовать для проведения лабораторных работ в рамках дисциплины «Функционально-логические языки программирования». Предназначено для студентов, обучающихся по направлению подготовки 01.04.02 «Прикладная математика и информатика» (квалификация «магистр»).

Информация о документе

Формат документа: PDF
Кол-во страниц: 111 страниц
Загрузил(а): Баженова Вероника
Лицензия: —
Доступ: Всем

Информация о книге

Издательство: Самар. гос. техн. ун-т
Год публикации: 2020
Автор(ы): Г.Н. Гутман, М.Н. Саушкин
Библиографическая запись: Язык программирования SWI-Prolog: учебно методическое пособие / Г.Н. Гутман, М.Н. Саушкин. – Самара: Самар. гос. техн. ун-т, 2020. – 110 с.
Список литературы: Братко И. Программирование на языке Пролог для искусственного интеллекта. - М.: Мир, 1990. - 560 с.

Братко И. Алгоритмы искусственного интеллекта на языке Пролог. - М.: Вильямс, 2004. - 640 с. EDN: QMNUWV

Доорс Дж., Рейблейн А.Р., Вадера С. Пролог - язык программирования будущего. - М.: Финансы и статистика, 2003. - 144 с.

Клоксин У., Меллиш К. Программирование на языке Пролог. - М.: Мир, 1987. - 336 c.

Малпас Дж. Реляционный язык Пролог и его применение. - М.: Наука, 1990. - 464 с.

Набебин А.А. Логика и Пролог в дискретной математике. - М.: МЭИ, 1996. - 452 с.

Сошников Д.В. Парадигма логического программирования. - М.: Вузовская книга, 2006. - 220 с.

Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог. - М.: Мир, 2003. - 333 c.

Шрайнер П.А. Основы программирования на языке Пролог. - М., 2005. - 173 с. EDN: QMPDZX

Сайт http://www.swi-prolog.org/pldoc/ - документация по SWI-Prolog (на английском языке) [Электронный ресурс]. - Режим доступа: открытый ресурс.

Сайт https://swish.swi-prolog.org/ - online-система программирования на SWI-Prologe. [Электронный ресурс]. - Режим доступа: открытый ресурс.

Богомолова О.Б. Логические задачи. - Изд-е 4-е, испр. и доп. - М.: БИНОМ. Лаборатория знаний, 2013. - 277 с.

Козлова Е.Г. Сказки и подсказки (задачи для математического кружка). - Изд-е 2-е, испр. и доп. - М.: МЦНМО, 2004. -165 с. EDN: QJMFMF

Мочалов Л.П. Головоломки. - М.: Просвещение, 1996. - 190 с.
Ключевые фразы: Язык программирования SWI-Prolog
Каталог SCI: Информатика
ББК: 32.97. Вычислительная техника. Программирование
УДК: 004.43. Языки программирования