Логическое программирование
Информатика и вычислительная техника
Лабораторная
  • формат docx
  • размер 24.01 КБ
  • добавлен 26 октября 2010 г.
Лабораторная работа №3 - Списки, множества
Описанны на языке Пролог:
I. Предикаты работы со списками
Аргументы L1,L2,L3 обозначают списки, Е - некоторый элемент списка (тип элементов спи-ска произволен), N - порядковый номер элемента в списке.
1.append (L1, L2, L3) ? список L3 является слиянием (конкатенацией) списков L1 и L2;
2.reverse (L1, L2) ? L2 – перевернутый список L1;
3.delete_first (E, L1, L2) ? список L2 получен из L1 исключением первого вхождения объ-екта Е;
4.delete_all (E, L1, L2) ? L2 – это список L1, из которого удалены все вхождения Е;
5.no_doubles (L1, L2) ? L2 – это список, являющийся результатом удаления из L1 всех по-вторяющихся элементов;
6.sublist (L1, L2) ? L1 – любой подсписок списка L2, т. е. непустой отрезок из подряд иду-щих элементов L2;
7.number (E, N, L) ? N – порядковый номер элемента E в списке L;
8.sort (L1, L2) ? L2 – отсортированный по неубыванию список чисел из L1.

II. Предикаты работы со множествами
Аргументы М1, М2, М3 обозначают множества, которые представляются в виде списков элементов без повторений, порядок элементов в них не существенен, тип элементов - произволен.
9.subset (М1, М2) ? множество М1 является подмножеством М2;
10.union (М1, М2, М3) ? множество М3 – объединение множеств М1 и М2;
11.intersection (М1, М2, М3) ? М3 – пересечение М1 и М2;
12.subtraction (М1, М2, М3) ? М3 – разность М1 и М2.
Смотрите также

Доорс Дж., Рейблейн А.Р., Вадера С. Пролог - язык программирования будущего

  • формат djvu
  • размер 1.02 МБ
  • добавлен 03 июня 2010 г.
1990 г. Настоящее введение в Пролог содержит описание подмножества языка, общего для многих реализаций. Рассмотрены синтаксические элементы и структуры языка, арифметические функции, рекурсия, структуры данных (списки и деревья), операторы и процедуры, встроенные функции для отладки программ и работа с БД. Книга может быть рекомендована как учебник и как компактное справочное издание.

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

Лабораторная
  • формат doc
  • размер 59.5 КБ
  • добавлен 01 декабря 2008 г.
«Бинарные деревья».Кратко теория и лабораторная работа

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

Лабораторная
  • формат doc
  • размер 56.5 КБ
  • добавлен 01 декабря 2008 г.
«Рекурсивные процедуры и списки». Кратко теория и лабораторная работа

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

Лабораторная
  • формат doc
  • размер 60 КБ
  • добавлен 01 декабря 2008 г.
«Разработка экспертных систем (с демонстрацией поиска с возвратом, использованием БД и предиката not). Кратко теория и лабораторная работа на Visual Prolog 5/2

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

Лабораторная
  • формат doc
  • размер 48.5 КБ
  • добавлен 01 декабря 2008 г.
«Файловая система Visual Prolog и обработка строк». Кратко теория и лабораторная работа

Лабораторные работы по предмету Рекурсивно-логическое программирование

Лабораторная
  • формат doc
  • размер 54.66 КБ
  • добавлен 12 февраля 2010 г.
Основные понятия Турбо-Пролога. Структура программы Турбо-Пролога. Стандартные типы доменов Турбо-Пролога. Среда Турбо-Пролога. Простейшие программы на Турбо-Прологе. Базы данных на Турбо-Прологе. Базы знаний на Турбо-Прологе. Решение логических задач. Рекурсия. Списки. Сортировка списков. Обработка списков.

Лекции. Логическое программирование

Статья
  • формат doc
  • размер 97.5 КБ
  • добавлен 01 апреля 2010 г.
Особенности языка Пролог. Правила сопоставления термов в системе Пролог. Общие принципы поиска ответов на вопросы системой Пролог. Объекты данных. Структурированные объекты. Структура программы. Арифметические выражения. Сравнение результатов арифметических выражений. Работа с файлами. Списки. Рекурсивное определение списка. Работа со списками. Проверка типов термов. Операции с базами данных.

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

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

Шпаргалка - Функционально-логическое программирование Prolog, Lisp

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