Логическое программирование
Информатика и вычислительная техника
Лабораторная
  • формат docx
  • размер 18.95 КБ
  • добавлен 19 ноября 2010 г.
Лабораторная работа №6
Описаны предикаты:
1. Напишите программу, определяющую, в нормальной ли форме задана арифметическая сумма, т. е. имеет ли она вид А + В, где А - константа, а В-сумма в нормальной форме.
2. Напишите определение типа «булева формула».
3. Напишите программу, распознающую логические формулы в конъюнктивной нормаль-ной форме, т. е. формулы, являющиеся конъюнкцией дизъюнкций литералов, где литерал-атомарная формула или ее отрицание.
4. Напишите программу, задающую отношение negation_inwards(Fl,F2), которое выполнено, если логическая формула F2 получается из логической формулы F1 внесением всех операторов отрицания внутрь конъюнкций и дизъюнкций.
5. Напишите программу приведения логической формулы к конъюнктивному нормальному виду, т. е. к конъюнкции дизъюнкций литералов.
Смотрите также

Лабораторная работа - Построение информационно-справочных систем

Лабораторная
  • формат exe
  • размер 46.09 КБ
  • добавлен 30 мая 2011 г.
Создать ИСС для выбора компьютера. Атрибуты: тип( сервер, рабочая станция), память, процессор, стоимость и т. д. Язык PROLOGrn

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

Лабораторная
  • формат doc
  • размер 54.5 КБ
  • добавлен 01 декабря 2008 г.
«Поиск с возвратом и предикат not». Содержит кратко теорию выполненую лабораторную работу.

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

Лабораторная
  • формат doc
  • размер 8.38 КБ
  • добавлен 19 ноября 2008 г.
Отчет по лабораторной работе на тему: "Работа с отношениями на языке Пролог". Задание заключается в определении в виде правил следующие отношения родства: Сын (son); Племянник (nephew); N-юродный брат (n_cousin_brother); Троюродный племянник (second_cousin_nephew); Отпрыск (любого уровня) (shoot); Зять (daughter_husband). Отчет содержит листинг программы.

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

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

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

Лабораторная
  • формат doc
  • размер 4.19 КБ
  • добавлен 19 ноября 2008 г.
Отчет по лабораторной работе на тему: "Работа со списками в языке пролог". Задание: разработать предикат, реализующий функцию REMOVEF – удаление из списка первого вхождения заданного элемента. Отчет содержит листинг программы.

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