Книга: Язык программирования 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. Языки программирования

Статистика просмотров

Статистика просмотров книги за 2025 год.

Ранее вы смотрели (10)

01. Книга: История веры и религиозных идей. Том 1

02. Книга: Химия атмосферы

03. Книга: Методы активизации профессионального и лично-стного самоопределения

04. Книга: Стандартизация и подтверждение соответствия сельскохозяйственной продукции

05. Статья: Судебный федерализм в политической практике современных государств

06. Книга: История веры и религиозных идей. Том 2

07. Статья: МОДЕЛИРОВАНИЕ ДИНАМИКИ ЧИСЛЕННОСТИ НАСЕЛЕНИЯ: АПРОБАЦИЯ ПОДХОДА К ОТБОРУ ФАКТОРОВ (НА ПРИМЕРЕ ДАЛЬНЕВОСТОЧНЫХ СУБЪЕКТОВ РФ)

08. Статья: Специфика столичных городов в электоральном ландшафте регионов России: вариативность с точки зрения диспозиции «центр – периферия»

09. Книга: Теория вероятностей в естествознании

10. Статья: Библиотекарь – участник открытого исследовательского процесса

Все права на тексты и товарные знаки принадлежат их законным владельцам. Подробнее...

Сайт https://scinetwork.ru (далее – Сайт) представляет собой платформу, на которой пользователи самостоятельно добавляют и публикуют метаинформацию о материалах разных видов (названия, обложки, аннотации, данные об авторах и т.п.). Администрация Сайта не занимается самостоятельным сбором или первоначальной публикацией этих сведений.

Модерация контента

На Сайте действует постмодерация. Это означает, что материалы, добавляемые пользователями, становятся общедоступными сразу после публикации и проверяются Администрацией Сайта постфактум в разумные сроки.

Использование информации

Администрация Сайта не использует метаданные и обложки документов в коммерческих или рекламных целях для продвижения товаров или услуг и не заявляет о каких-либо правах на представленные объекты интеллектуальной собственности. Все права на документы и сопутствующие материалы принадлежат их законным правообладателям.

Отказ от гарантий

Администрация Сайта не гарантирует точность, полноту и достоверность метаинформации, размещенной пользователями, поскольку не осуществляет ее предварительную проверку.

Ответственность

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