Лабораторная работа №1 - Предикаты, правила, запросы

Определить значение истинности логического выражения Используя двухместные предикаты сестра ( *, * ), мать ( *, * ) или отец ( *, * ), составить правило, определяющее двухместный предикат тетя ( *, * ). Представлена база данных о родственниках, составить запросы, позволяющие определить имена отцов, матерей, бабушек и дедушек. Составить программу на Турбо Прологе для определения истинности логической формулы. Остальные два варианта - аналогичные...

А. Предикаты работы с бинарными деревьями tree_depth(Т,N): N – глубина дерева; sub_tree(Т1, Т2): дерево Т1 является непустым поддеревом дерева Т2; flatten_tree(Т,L): L – список меток всех узлов дерева Т; nsert(Т1,N, Т2): Т2 – дерево, полученное путем добавления натурального числа N в упоря-доченное дерево Т1 с учётом упорядоченности Б. Предикаты для работы с графами path(Х,Y,L): L – путь без петель между вершинами Х и Y, т. е. список вершин между...

Описанны на языке Пролог: 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...

«Бинарные деревья».Кратко теория и лабораторная работа

1.div(X,Y,Z): Z – результат целочисленного деления X на Y, где X и Y – натуральные числа, представленные в структурированной форме; 2.gcd(X,Y,Gcd): Gcd – наибольший общий делитель натуральных чисел X и Y; процедура должна быть реализована без использования операции деления по модулю; при реализации можно использовать по желанию либо структурированное представление, либо обычное представление натуральных чисел. 3.adjacent(X,Y,Zs): X и Y являются...

«Рекурсивные процедуры и списки». Кратко теория и лабораторная работа

Описаны предикаты: 1. Напишите программу, определяющую, в нормальной ли форме задана арифметическая сумма, т. е. имеет ли она вид А + В, где А - константа, а В-сумма в нормальной форме. 2. Напишите определение типа «булева формула». 3. Напишите программу, распознающую логические формулы в конъюнктивной нормаль-ной форме, т. е. формулы, являющиеся конъюнкцией дизъюнкций литералов, где литерал-атомарная формула или ее отрицание. 4. Напишите програм...

«Файловая система Visual Prolog и обработка строк». Кратко теория и лабораторная работа

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

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