Программирование на языке Пролог для искусственного интеллекта




Глава 7. Другие встроенные процедуры


    Глава 7. Другие встроенные процедуры
    Глава 7 ДРУГИЕ ВСТРОЕННЫЕ ПРОЦЕДУРЫ В данной главе мы изучим некоторые другие, не упоминавшиеся ранее встроенные процедуры, предназначенные для более серьезного программирования на Прологе. Эта но...
    Проверка типов термов
    Проверка типов термов Предикаты var, nоnvar, atom, integer, atomic 1. Предикаты var, nоnvar, atom, integer, atomic Термы бывают разных типов: переменные, целые числа, атомы и т.д. Если терм - пере...
    Поразрядное сложение. Отношения в показанном i-м
    Поразрядное сложение. Отношения в показанном i-м разряде такие: D3i = (C1 + D1i + D2i) mod 10; C = (C1 + D1i + D2i) div 10 (div - целочисленное деление, mod - остаток от деления). Для определения...
    Программа для арифметических ребусов.
    Программа для арифметических ребусов. Иногда этот ребус упрощают, сообщая часть решения в виде дополнительного ограничения, например D равно 5. В такой форме ребус можно передать пролог-системе пр...
    Упражнения
    Упражнения Напишите процедуру упростить для упрощения алгебраических сумм, в которых участвуют числа и символы (строчные буквы). Пусть эта процедура переупорядочивает слагаемые так, чтобы символы...
    Создание и декомпозиция термов: =.., functor, arg, name
    Создание и декомпозиция термов: =.., functor, arg, name Имеются три встроенные предиката для декомпозиции и синтеза термов: functor , arg и =.. . Рассмотрим сначала отношение =.. , которое записыв...
    Процедура подстановки в терм вместо одного из его
    Процедура подстановки в терм вместо одного из его подтермов некоторого другого подтерма. зависимости от ее текущей конкретизации, может по своей синтаксической форме не подойти в качестве цели. Эт...
    Упражнения
    Упражнения Определите предикат конкрет(Терм) так, чтобы он принимал значение истина, когда в Tepм 'e нет ни одной неконкретизированной переменной. Процедура подставить из данного раздела производи...
    Различные виды равенства
    Различные виды равенства В каких случаях мы считаем, что два терма равны? До сих пор мы рассматривали три вида равенства в Прологе. Первый был связан с сопоставлением и записывался так: Х = Y Это...
    Работа с базой данных
    Работа с базой данных Реляционная модель предполагает, что база данных - это описание некоторого множества отношений. Пролог-программу можно рассматривать как именно такую базу данных: описание от...
    Упражнения
    Упражнения (а) Напишите вопрос к пролог-системе, который удаляет из базы данных всю таблицу произв . (b) Измените этот вопрос так, чтобы он удалил из таблицы только те строки, в которых произведен...
    Средства управления
    Средства управления К настоящему моменту мы познакомились с большинством дополнительных средств управления, за исключением repeat (повторение). Здесь мы для полноты приводим список всех таких сред...
    Bagof , setof и findall
    bagof , setof и findall При помощи механизма автоматического перебора можно получить одни за другим все объекты, удовлетворяющие некоторой цели. Всякий раз, как порождается новое решение, предыдущ...
    Упражнения
    Упражнения Используя bagof , определите отношение множподмножеств( Мн, Подмн) для вычисления множества всех подмножеств данного множества (все множества представлены списками). Используя bagof , о...
    Резюме
    Резюме В любой реализации Пролога обычно предусматривается набор встроенных процедур для выполнения различных полезных операций, несуществующих в чистом Прологе. В данной главе мы рассмотрели подо...








Начало    



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