Дубинин В.Н., Зинкин С.А. Языки логического программирования в проектировании вычислительных систем и сетей

формат pdf
размер 692.73 КБ
добавлен 24 января 2011 г.

Учеб. пособие. – Пенза: Изд-во Пенз. гос. техн. ун-та. – 1997. – 88 с. Рассматриваются вопросы использования языка логического программирования Пролог в сетевой технологии проектирования распределенных вычислительных систем и сетей. Приводится описание предикатных сетей, интерпретируемых на языке Пролог, примеры спецификации и моделирования вычислительных систем, процессов и сетевых протоколов с использованием данного сетевого формализма. Представлено описание временной логики для верификации вычислительных систем и процессов, подробно описана реализация временных операторов на Прологе, приводятся примеры формулировки и доказательства свойств рассмотренных в пособии вычислительных систем, процессов и сетевых протоколов.
Учебное пособие подготовлено на кафедре "Вычислительная техника" и предназначено для студентов специальности 22.01.00, изучающих дисциплины "Языки логического программирования", "Вычислительные комплексы, системы и сети", "Системы искусственного интеллекта", "Прикладная математика".

Смотрите также

Бураков М.В. Язык логического программирования ПРОЛОГ

формат pdf
размер 184.3 КБ
добавлен 15 марта 2008 г.

Методические указания. Приводится описание основных конструкций языка логического программирования ПРОЛОГ. Методические указания предназначены для студентов, изучающих дисциплину “Системы с искусственным интеллектом”.

Ин Ц., Соломон Д. Использование Турбо-Пролога

формат txt
размер 303.94 КБ
добавлен 22 марта 2007 г.

Книга посвещена основам логического программирования. Она представляет собой руководство по применению системы программирования Турбо-Пролог. В качестве примеров рассматриваются разработка естественно-языковых и экспертных систем, многооконный интерфейс с пользователем, машинная графика.rn

Лебедева Н.С. Методическое пособие по программированию на Turbo Prolog

формат pdf
размер 659.49 КБ
добавлен 27 января 2009 г.

Данное учебное пособие предназначено для студентов компьютерных специальностей, изучающих курс «Логическое программирование». Рассмотрены основы логического программирования. Дается описание, синтаксические элементы и основы программирования на Турбо Прологе. Рассмотрена работа с базами данных и с системными предикатами, необходимыми для программирования. Изложение иллюстрируется примерами программ. Содержатся варианты контрольных заданий для вып...

Лекции основы языка логического программирования Пролог

Статья

формат pdf
размер 2.24 МБ
добавлен 30 октября 2009 г.

История возникновения и развития Пролога. Японский проект ЭВМ пятого поколения. Императивные и декларативные языки программирования. Области использования Пролога. Пролог - язык начального обучения программированию. Преимущества и недостатки языка Пролог.

Макаллистер Дж. Искусственный интеллект и Пролог на микроЭВМ

формат djvu
размер 4.99 МБ
добавлен 28 октября 2010 г.

Пер с англ. А. В. Чукашова, М. В. Сергиевского; Под ред. М. В. Сергиевского, —М.: Машиностроение, 1990. —240 с.: ил. В книге английского автора рассматривается использование наиболее популярного языка логического программирования для построения баз данных, баз знаний и экспертных систем. Книга содержит сравнительно мало теоретического материала и ориентирована в основном на практическое использование Пролога. Достаточно подробно описаны возможнос...

Сошников Д.В. Парадигма логического программирования

формат djvu
размер 12.5 МБ
добавлен 01 ноября 2009 г.

МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Объем: 111стр. Содержание: Парадигмы. Системы логического программирования. Логика и исчисление предикатов. Логическое программирование как алгоритмическая модель. Типизированное логическое программирование. Языки программирование Prolog и Mercury. Рекурсивные структуры данных. Отрицание по неуспеху. Методы решения логических задач. Поиск в пространстве с...

Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог (djvu)

формат djvu
размер 3.97 МБ
добавлен 05 июня 2008 г.

В книге излагаются основы логического программирования. Дается описание языка Пролог. Обсуждаются ввод-вывод, приемы и средства организации интерактивных программ, вопросы недетерминированного программирования, применения структур данных, допускающих накопление данных, техника граматического разбора, программирования метаинтерпретаторов. Изложение удачно иллюстрируется примерами программ. Рассматриваются некоторые приложения Пролога: программиров...

Хоггер К. Введение в логическое программирование

формат djvu
размер 3.41 МБ
добавлен 12 сентября 2010 г.

Книга написана английским специалистом по программированию и знакомит читателей с фундаментальными идеями и методологией логического программирования. В ней много внимания уделено вопросам синтеза программ, реализации языков логического программирования и их применения. Материал тщательно отобран, приводится много примеров, облегчающих усвоение материала. Для математиков-прикладников, специалистов по информатике, программистов, аспирантов и студ...

Шпоры по Прологу

pottee

формат doc
размер 83 КБ
добавлен 10 января 2010 г.

1. Язык логического программирования Пролог. Концепция логического программирования. 2. Основы программирования на Турбо-Прологе: структура программы, основные типы данных, работа с секцией domains. 3. Основы программирования на Турбо-Прологе: структура программы, внутренние и внешние цели. 4. Основы программирования на Турбо-Прологе: структура программы, предикаты, факты, правила. 5. Основы программирования на Турбо-Прологе: методы и средства у...

Язык логического программирования Пролог

формат doc, txt
размер 490.45 КБ
добавлен 03 марта 2009 г.

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