Логическое программирование
pottee
  • формат doc
  • размер 91.3 КБ
  • добавлен 16 марта 2011 г.
Шпаргалка - Функционально-логическое программирование Prolog, Lisp
ШПАРГАЛКА!
Понятия предиката.
Алгоритмы унификации.
Структура пролог-программы.
Организация повторов.
Ветвление-выбор.
Стандартные математические предикаты.
Списки и операции над ними.
Сортировка списков.
Выборка элементов из списков.
Слияние списков.
Множества в Прологе.
Реализация деревьев в Прологе.
Функциональный подход программирования.
Методы обработки списков (ЛИСП).
Определение универсальной функции.
Предикаты и истинность в ЛИСПе.
Отображения и функционалы.
Имена, определения и контексты в ЛИСП.
Prog выражения и циклы в ЛИСП.
Списки свойств атомов и структура списков.
Числа и мультиоперации.
Функционалы - общее понятие.
Безымянные функции.
Экспертные системы. Реализация в Пролог и Лисп.
Смотрите также

Братко И. Алгоритмы искусственного интеллекта на языке Prolog

  • формат pdf
  • размер 21.05 МБ
  • добавлен 11 февраля 2010 г.
3-е издание. : Пер. с англ. — М. : Издательский дом "Вильяме", 2001. 640 с. : ил. В книге известного специалиста по программированию приведены основные сведения о языке Prolog, описан процесс разработки программ на этом языке и показано применение языка Prolog во многих областях искусственного интеллекта, включая решение задач и эвристический поиск, программирование в ограничениях, представление знаний и экспертные системы, планирование, машинно...

Кичкайло Т.А., Тушев А.Н. Функциональное и Логическое Программирование

  • формат pdf
  • размер 4.46 МБ
  • добавлен 04 марта 2011 г.
Учебное пособие. - Алт. гос. техн. ун-т им. И. И. Ползунова. Центр дистанционного обучения. Барнаул: 1999. - 148с. Данное учебное пособие предназначено для дистанционного изучения дисциплины «Функциональное и логическое программирование». Рассматриваются вопросы программирования на языке Лисп, применение этого языка для обработки математических выражений в системе Reduce-З и применение Лиспа для автоматического построения чертежей в системе Авток...

Лабораторная работа №1

Лабораторная
  • формат doc
  • размер 84.5 КБ
  • добавлен 01 декабря 2008 г.
«Ознакомление со средой программирования Visual Prolog 5.2. Логический вывод и логическое следствие. Унификация и сопоставление».Содержит кратко теорию и выполненую лабораторную работу.

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

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

Реферат - История создания и развития языка Prolog

Реферат
  • формат docx
  • размер 679.52 КБ
  • добавлен 08 ноября 2010 г.
История создания и развития языка Prolog. Сферы использования. Среда разработки "SWI-Prolog". Среда разработки "Тurbo Prolog". Среда разработки " Visual Prolog ". Количество страниц 35.rn

Солдатова О.П., Лёзина И.В. Логическое программирование на языке Visual Prolog

  • формат pdf
  • размер 1.04 МБ
  • добавлен 24 октября 2010 г.
Учебное пособие: Самара, 2010. - 81 с. Предназначено для студентов направления «Информационные технологии» и специальности «Автоматизированные системы обработки информации и управления», и может быть использовано при изучении дисциплин «Логическое программирование», «Интеллектуальные системы», «Системы искусственного интеллекта» и «Основы экспертных систем». Содержание Предисловие 1 Логическое программирование и аксиоматические системы 1....

Сошников Д.В. Лекции по ЛП

  • формат pdf
  • размер 650.55 КБ
  • добавлен 09 октября 2009 г.
МАИ. Факультет прикладной математики. Кафедра вычислительной математики и программирования. Подготовка к экзамену по курсу Логическое программирование Преподаватель: Сошников Д. В. 123 стр. I Основы 1 Парадигмы 2 Логика предикатов 1-го порядка 21 Семантика логики предикатов 3 Исчисление предикатов 1-го порядка 4 Понятие о полноте 5 неразрешимость исчисления 6 Нормальные формы 7 Унификация 71 Правила 8 Правило вывода modus tollens 81...

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

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

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

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

Хачатрян В.Е., Лыхин Е.В., Шатров Д.В. Логическое программирование

Практикум
  • формат doc
  • размер 160.5 КБ
  • добавлен 17 октября 2010 г.
Методические указание к выполнению лабораторных работ для студентов специальности 220400 – Программное обеспечение вычислительной техники и автоматизированных систем Оглавление Введение Лабораторная работа № 1. Ознакомление с оболочкой AMZI! Prolog. Изучение основ программирования на языке Пролог. Отношения между данными Лабораторная работа № 2. Использование рекурсивных правил и структурированных данных Лабораторная работа № 3. Работа со спи...