Другие встроенные процедуры


7 1 Проверка типов термов
7. 1.    Проверка типов термов...
7 1 1 Предикаты var nоnvar atom integer atomic
7. 1. 1.    Предикаты   var,  nоnvar,  atom,  integer,  atomic Термы бывают разных типов: переменные, целые числа, атомы и т.д. Если терм - переменная,...
7 1 2 Решение числового ребуса с использованием nonvar
7. 1. 2.    Решение числового ребуса с использованием   nonvar Известным примером числового ребуса является + D O N A L D G E  R A L D R O B  E R T Задач...
Рисунок 7 1 Поразрядное сложение
Рисунок 7. 1.  Поразрядное сложение.    Отношения в показанном i-мразряде такие:    D3i = (C1 + D1i+ D2i)     mod    10;  ...
Рисунок 7 2 Программа для арифметических ребусов
Рисунок 7. 2.  Программа для арифметических ребусов. Иногда этот ребус упрощают, сообщая часть решения в виде дополнительного ограничения, например D равно 5. В такой форме ребус можно переда...
Упражнения
Упражнения 7. 1.    Напишите процедуру упроститьдля упрощения алгебраических сумм, в которых участвуют числа и символы (строчные буквы). Пусть эта процедура переупорядочивает слагае...
7 2 Создание и декомпозиция термов = functor arg name
7. 2.    Создание и декомпозиция термов:   =..,  functor,  arg,  name Имеются три встроенные предиката для декомпозиции и синтеза термов: functor, argи =.. . Рас...
Рисунок 7 3 Процедура подстановки в терм вместо одного из его подтермов некоторого другого подтерма
Рисунок 7. 3.  Процедура подстановки в терм вместо одного из егоподтермов некоторого другого подтерма. зависимости от ее текущей конкретизации, может по своей синтаксической форме не подойти...
Упражнения
Упражнения 7. 3.    Определите предикат конкрет(Терм)так, чтобы он принимал значение истина, когда в Tepм'e нет ни одной неконкретизированной переменной. 7. 4.    Про...
7 3 Различные виды равенства
7. 3.    Различные виды равенства В каких случаях мы считаем, что два терма равны? До сих пор мы рассматривали три вида равенства в Прологе. Первый был связан с сопоставлением и зап...
7 4 Работа с базой данных
7. 4.    Работа с базой данных Реляционная модель предполагает, что база данных - это описание некоторого множества отношений. Пролог-программу можно рассматривать как именно такую...
Упражнения
Упражнения 7. 6.   (а)         Напишите вопрос к пролог-системе, который удаляет из базы данных всю таблицу произв.       ...
7 5 Средства управления
7. 5.    Средства управления К настоящему моменту мы познакомились с большинством дополнительных средств управления, за исключением repeat (повторение). Здесь мы для полноты приводи...
7 6 Bagof setof и findall
7. 6.    bagof , setof  и findall При помощи механизма автоматического перебора можно получить одни за другим все объекты, удовлетворяющие некоторой цели. Всякий раз, как порож...
Рисунок 7 4 Реализация отношения findall
Рисунок 7. 4.  Реализация отношения findall....
Упражнения
Упражнения 7. 8. Используя bagof, определите отношение         множподмножеств( Мн, Подмн) для вычисления множества всех подмножеств данного множества (все множе...
Резюме
Резюме В любой реализации Пролога обычно предусматривается набор встроенных процедур для выполнения различных полезных операций, несуществующих в чистом Прологе. В данной главе мы рассмот...


- Начало -


Книжный магазин