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

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

Белорусский государственный университет информатики и радиоэлектроники, 2006, 28с. Для студентов специальности I-40 01 01 "Программное обеспечение информационных технологий" В 4-х частях Часть 2 Во второй части методического пособия изложены основы логического программирования на примере языка Пролог. Пособие предназначено для студентов дневной и дистанционной форм обучения.

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

Книга известных специалистов в области математической логики и логического программирования (Греция, США). Излагаются основные понятия и принципы математической логики. Основное внимание уделяется вопросам применения языка математической логики для представления знаний и формальным методам доказательства теорем с использованием семантических таблиц и резолютивного вывода. На примере языка ПРОЛОГ рассматриваются принципы логического программирова...

Учебное пособие. - Новосибирск: НГТУ, 2006. - 60 с. В настоящем учебном пособии излагаются базовые принципы логического и функционального программирования. Пособие разработано на кафедре вычислительной техники Новосибирского государственного технического университета. Предложения: факты и правила Запросы Предикаты Переменные Основные секции программы Основные стандартные домены Поиск с возвратом Управление поиском с возвратом: предикаты! и fai...

Популярная программная оболочка, основанная на языке логического программирования Пролог, - VisualProlog 5.2. Дружественный интерфейс, хорошие функциональные возможности. Приятного программирования на Visual Прологе!rn

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

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

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

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