Студопедия

КАТЕГОРИИ:


Архитектура-(3434)Астрономия-(809)Биология-(7483)Биотехнологии-(1457)Военное дело-(14632)Высокие технологии-(1363)География-(913)Геология-(1438)Государство-(451)Демография-(1065)Дом-(47672)Журналистика и СМИ-(912)Изобретательство-(14524)Иностранные языки-(4268)Информатика-(17799)Искусство-(1338)История-(13644)Компьютеры-(11121)Косметика-(55)Кулинария-(373)Культура-(8427)Лингвистика-(374)Литература-(1642)Маркетинг-(23702)Математика-(16968)Машиностроение-(1700)Медицина-(12668)Менеджмент-(24684)Механика-(15423)Науковедение-(506)Образование-(11852)Охрана труда-(3308)Педагогика-(5571)Полиграфия-(1312)Политика-(7869)Право-(5454)Приборостроение-(1369)Программирование-(2801)Производство-(97182)Промышленность-(8706)Психология-(18388)Религия-(3217)Связь-(10668)Сельское хозяйство-(299)Социология-(6455)Спорт-(42831)Строительство-(4793)Торговля-(5050)Транспорт-(2929)Туризм-(1568)Физика-(3942)Философия-(17015)Финансы-(26596)Химия-(22929)Экология-(12095)Экономика-(9961)Электроника-(8441)Электротехника-(4623)Энергетика-(12629)Юриспруденция-(1492)Ядерная техника-(1748)

Использование переменных в качестве объектов





Нетривиальная проблема, связанная с явной обработкой переменных при определении отношения occurs_in в предыдущем разделе, подчеркивает слабость выразительных средств Пролога. Работа с переменными связана с некоторыми сложностями, и при анализе и обработке термов между переменными и значениями могут возникнуть случайные соответствия.

Такая проблема появляется при построении программы 9,3, определяющей отношение Substitute. Рассмотрим цель Substitute (a, b, X, Y), задающую подстановку константы а вместо b в переменную X. Результатом подстановки является терм Y. Имеются две правдоподобные интерпретации отношения Substitute в этом случае. Логически обоснованным решением является сопоставление переменной Х константы а, а переменной Y – константы b. Это решение действительно находится программой 9.3 при унификации цели с основным фактом Substitute (Оld, New, Old, New).

Однако на практике предпочтительнее иная интерпретация. Будем считать термы Х и а различными; таким образом, переменной Y следует сопоставить терм X. При такой интерпретации следовало бы воспользоваться другим предложением программы 9.3, а именно:

Substitute(01d, New, Term, Term)¬ constant(Terrn),Term¹ Old.

Цель, однако, не будет доказана, так как переменная не является константой.

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

Substitute(01d, New, Term, New)¬ ground(Term),Term = Old.

Рассмотрение переменных отдельно от констант требует специального правила также использующего металогический тест:

Substitute(01d,New,Var,Var)¬var(Var).

Добавление двух рассмотренных предложений к программе 9.3, определяющей отношение Substitute, а также добавление других металогических тестов позволяет применять программу к неосновным термам. Однако полученная программа будет громоздкой. В ней смешаны процедурный и декларативный подходы. Для понимания такой программы требуется знание механизма управления, реализованного в Прологе. Используя аналогию с медициной, можно сказать, что мы лечим симптомы (нежелательное сопоставление значения переменной), а не болезнь (отсутствие средств, позволяющих использовать переменные в качестве объектов). Для “исцеления” необходимы дополнительные металогические примитивы.



Сложности, возникающие при смешивании обработки термов на метауровне и на объектном уровне, связаны с некоторой теоретической проблемой. Строго говоря программы метауровня должны рассматривать переменные объектного уровня как константы и должны иметь возможность ссылаться на такие переменные по имени,

Расширяя Пролог двумя системными предикатами: freeze (Term, Frozen) и melt (Frozen,Thawed), можно частично решить указанные проблемы. “Замораживание”терма Term с помощью предиката freeze создает копию терма Frozen. В этом терме все переменные исходного терма, которым не были сопоставлены значения, заменяются уникальными константами. Замороженный терм подобен основному терму и может использоваться так же, как и основной терм.

При унификации замороженные переменные рассматриваются как основные атомы. Две замороженные переменные унифицируемы тогда и только тогда, когда они совпадают. Аналогично, если переменная, которой не сопоставлено значение, унифицируется с замороженным термом, то значением переменной становится замороженный терм. Применение системного предиката к замороженной переменной приводит к тому же результату, что и применение к константе. Например, использование замороженных переменных в арифметических вычислениях приводит к безуспешным вычислениям.

Предикат freeze, как и предикат var, является металогическим предикатом. Он позволяет анализировать структуру терма непосредственно в процессе вычисления.

Наличие предиката freeze позволяет иначе определить предикат occurs_in, рассматривавшийся в предыдущем разделе. Идея состоит в замораживании терма, что превращает переменные в основные обекты. Это позволяет использовать программу Subterm (программа 9.2), правильно обрабатывающую основные термы. Метод реализован в программе 10.7(b).

Замораживание позволяет решать вопрос идентичности двух термов. Два замороженных терма Х и Y унифицируемы тогда и только тогда, когда их незамороженные варианты идентичны, т. е, когда Х = = Y. Это свойство существенно для обоснования корректности программы 10.7(b).

Отличие замороженных термов от основных состоит в том, что замороженные термы можно “разморозить”, превратив их в неосновные термы. Предикатом, двойственным к freeze, является предикат melt (Frozen,Thawed). Вычисление цели melt (X, Y) создает копию терма Y терма X, в которой замороженные переменные становятся обычными переменными языка Пролог. При размораживании терма Y учитываются все сопоставления значений переменным терма X, сделанные пока терм был заморожен.

 

Freeze заморозить, melt разморозить. – Прим. перев.

Далее дается без кавычек. -Прим. ред.

 

Используя предикаты freeze и melt, можно построить вариант программы substitute, а именно non_ground_substitute, в котором не происходит нежелательных сопоставлений значений переменным. Процедурный подход к программе поп_ ground_substitute состоит в следующем: перед подстановкой терм замораживается; далее, используя программу substitute, правильно обрабатывающую основные термы, производится подстановка в замороженный терм; наконец, новый терм размораживается:

non_ground_substitute (X, Y, Old, New)¬

freeze(0ld,0ld1),

substitute(X,Y,Old,Old1),melt(Old, New).

Замороженный терм можно также использовать как шаблон для изготовления копий. Системный предикат melt_new (Frozen, Term) создает копию Term терма Frozen, в которой замороженные переменные заменены переменными с новыми именами.

Предикат melt_new используется для копирования термов. Предикат copy(Term, Copy) создает новую копию терма Term. Этот предикат можно задать одним правилом:



copy (Term, Copy)¬freeze (Term, Frozen), melt_new(Frozen,Copy).

Примитивы freeze, melt и melt_new полезны при задании вводимых в гл. 12 внелогических предикатов и описании их вычислений.





Дата добавления: 2014-01-07; Просмотров: 224; Нарушение авторских прав?; Мы поможем в написании вашей работы!


Нам важно ваше мнение! Был ли полезен опубликованный материал? Да | Нет



ПОИСК ПО САЙТУ:


Рекомендуемые страницы:

Читайте также:

  1. I. ИСПОЛЬЗОВАНИЕ УЧЕТОВ В ИНФОРМАЦИОННОМ ОБЕСПЕЧЕНИИ ДЕЯТЕЛЬНОСТИ ОРГАНОВ ВНУТРЕННИХ ДЕЛ.
  2. I. Экстремумы функции двух переменных
  3. Автоматизированное решение регламентных статистических задач с использованием АРМ экономиста-статистика
  4. Аминокислоты используются в качестве лекарств
  5. Анализ и использование прибыли
  6. Анализ качественного состояния основных средств
  7. Анализ объектов окружающей среды
  8. Анализ состава, структуры и динамики операций банка с использованием пластиковых карточек.
  9. Анализ уровня и динамики финансовых результатов производства с использованием метода горизонтального анализа.
  10. Анализ эффективности операций банка с использованием пластиковых карточек.
  11. Архитектурно-строительное проектирование, строительство, реконструкция объектов капитального строительства
  12. Береговой цели с использованием ВТН.

studopedia.su - Студопедия (2013 - 2021) год. Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав! Последнее добавление
Генерация страницы за: 0.004 сек.