Основы построения и функционирования интеллектуальных информационных систем. Былкин В.Д - 158 стр.

UptoLike

ВУЗ: 

ПГУ | Пенза

Составители: 

Рубрика: 

158
7) Предикат SETOFF для нормализации множества (исключения из списка
повторяющихся элементов).
8) Предикат CART для получения декартова произведения двух множеств.
9) Предикат SETP для проверки, является ли список множеством, т.е. входит ли каждый
элемент в список лишь один раз.
Работа с базами данных языка Пролог
Цель работы: изучение встроенных предикатов assert, asserta, assert2, retract, consult, reconsult
для выполнения операций над базами данных языка Пролог, изучение способов организации
циклов (для вывода на экран), получение практических навыков работы с базами данных языка
Пролог.
Порядок выполнения работы
1. Включить правила, определяющие одно из производных родственных отношений,
полученные в лабораторной работе №2, в пролог-программу с использованием предиката consult
или reconsult.
2. Включить правила, определяющие другое из производных родственных отношений,
полученные в лабораторной работе №2, в пролог-программу с использованием предиката asserta
или assertz.
3- Создать базы фактов (БФ) для производных родственных отношений, определенных в
лабораторной работе №2,
4. Вывести полученные БФ на экран.
5. Удалить из БФ parent один или несколько фактов в соответствии с заданными
условиями (например, удалить из БФ parent все сведения о родителях X).
6. Вывести измененную БФ на экран.
7. Удалить все факты из БФ, полученных в п.З.
8. Удалить из Пролог-программы правила, включенные в нее в пп. 1-2.
Основные сведения
Встроенный предикат asserta(X) добавляет утверждение X в начало базы данных, a
assertz(X) - в ее конец. Результат добавления в базу данных утверждения не устраняется при
выполнении возврата. Утверждение X может быть либо фактом, либо правилом.
Примеры:
% Включение факта
assert(parent(tom,bob)). 
      7)       Предикат    SETOFF     для    нормализации   множества     (исключения     из   списка
повторяющихся элементов).
      8)       Предикат CART для получения декартова произведения двух множеств.
      9)       Предикат SETP для проверки, является ли список множеством, т.е. входит ли каждый
элемент в список лишь один раз.
                           Работа с базами данных языка Пролог
      Цель работы: изучение встроенных предикатов assert, asserta, assert2, retract, consult, reconsult
для выполнения операций над базами данных языка Пролог, изучение способов организации
циклов (для вывода на экран), получение практических навыков работы с базами данных языка
Пролог.
                                     Порядок выполнения работы

      1.   Включить правила, определяющие одно из производных родственных отношений,
полученные в лабораторной работе №2, в пролог-программу с использованием предиката consult
или reconsult.
      2.   Включить правила, определяющие другое из производных родственных отношений,
полученные в лабораторной работе №2, в пролог-программу с использованием предиката asserta
или assertz.
      3- Создать базы фактов (БФ) для производных родственных отношений, определенных в
лабораторной работе №2,
      4.   Вывести полученные БФ на экран.
      5.   Удалить из БФ parent один или несколько фактов в соответствии с заданными
условиями (например, удалить из БФ parent все сведения о родителях X).
      6.   Вывести измененную БФ на экран.
      7.   Удалить все факты из БФ, полученных в п.З.
      8.   Удалить из Пролог-программы правила, включенные в нее в пп. 1-2.
                                            Основные сведения
      Встроенный предикат asserta(X) добавляет утверждение X в начало базы данных, a
assertz(X) - в ее конец. Результат добавления в базу данных утверждения не устраняется при
выполнении возврата. Утверждение X может быть либо фактом, либо правилом.
      Примеры:
                % Включение факта
                 assert(parent(tom,bob)).




                                                   158

Страницы