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

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

МАИ.
Факультет прикладной математики.
Кафедра вычислительной математики и программирования.
Объем: 111стр.

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

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

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

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

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

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

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

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

Метакидес Г., Нероуд А. Принципы логики и логическое программирование

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

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

Новицкая Ю.В. Основы логического и функционального программирования

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

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

Программа - SWIProlog 5.6 + руководство пользователя

program

формат pdf
размер 8.09 МБ
добавлен 02 марта 2009 г.

Современная программа, позволяющая решить задачи логического программирования, с руководством юзера на английском - год выхода 2008!

Программа - VisualProlog 5.2

program

формат txt
размер 17.8 МБ
добавлен 02 марта 2009 г.

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

Сошников Д.В. Лекции по ЛП. Слайды

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

МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Подготовка к экзамену по курсу Логическое программирование Преподаватель: Сошников Д. В. ~500 стр. Что такое логическое программирование Введение в логическое программирование Логика Резолюции Пролог и Меркурия Рекурсивные Структуры данных Отрицание как Failure Логических задач Типизированное программирование Простой поиск Эвристический поиск Си...

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

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

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

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

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

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

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

pottee

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

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