Студопедия
МОТОСАФАРИ и МОТОТУРЫ АФРИКА !!!

Авиадвигателестроения Административное право Административное право Беларусии Алгебра Архитектура Безопасность жизнедеятельности Введение в профессию «психолог» Введение в экономику культуры Высшая математика Геология Геоморфология Гидрология и гидрометрии Гидросистемы и гидромашины История Украины Культурология Культурология Логика Маркетинг Машиностроение Медицинская психология Менеджмент Металлы и сварка Методы и средства измерений электрических величин Мировая экономика Начертательная геометрия Основы экономической теории Охрана труда Пожарная тактика Процессы и структуры мышления Профессиональная психология Психология Психология менеджмента Современные фундаментальные и прикладные исследования в приборостроении Социальная психология Социально-философская проблематика Социология Статистика Теоретические основы информатики Теория автоматического регулирования Теория вероятности Транспортное право Туроператор Уголовное право Уголовный процесс Управление современным производством Физика Физические явления Философия Холодильные установки Экология Экономика История экономики Основы экономики Экономика предприятия Экономическая история Экономическая теория Экономический анализ Развитие экономики ЕС Чрезвычайные ситуации ВКонтакте Одноклассники Мой Мир Фейсбук LiveJournal Instagram

No Solutions




В качестве простых целевых запросов могут использоваться также операции сравнения или вычислительные операции.

Составные запросы

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

Пример: Требуется найти пары, которым нравится один и тот же вид спорта.

GOAL: likes( X , S ), likes( Y , S ), X< >Y.

X=”Аня” Y=”Женя” S=”футбол”

X=”Лена” Y=”Олег” S=”теннис”

Solutions

Различают внутрипрограммные и внешние целевые запросы.

Внутрипрограммный целевой запрос описывается в программе между разделами PREDICATES и CLAUSES и выполняется без вывода на экран результатов поиска, поэтому разработчику программы необходимо использовать предикаты печати для вывода результата. При использовании внутрипрограммного целевого запроса будет выдано только одно, первое найденное решение. Для поиска всех возможных решений следует использовать предикат fail.

Внешний целевой запрос вводится пользователем после запуска программы в специальном окне Dialog после запроса GOAL и выводит все найденные решения на экран, как описано в предыдущих примерах.

Правила

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

Пример. С помощью отношений meat (мясо) и fish (рыба), выражающих то, что их аргумент является вторым мясным или рыбным горячим блюдом, определить отношение hot_dish (горячее_блюдо), пользуясь следующим определением: ”Горячее блюдо – это второе мясное или рыбное блюдо”.

predicates /* описание предиката горячее_блюдо*/

Hot_dish (name)

clauses /*правила, задающие определение

отношения горячее_блюдо*/

Hot_dish ( Y ) :- meat( Y ) .

Hot_dish ( Y ) :- fish( Y ) .

Последовательность двух правил означает их дизъюнкцию и читается так: ” Y является горячим блюдом, если Y – второе мясное блюдо”, или “Y является горячим блюдом, если Y – второе рыбное блюдо”. Область действия переменной ограничена правилом, в котором она определена. Поэтому переменная из первого правила никак не связана с переменной Y из второго.

Пример. Сформулировать на Прологе запрос ”Что является горячим блюдом ? ” и привести примеры возможных ответов.

Запрос:





Дата добавления: 2015-02-24; просмотров: 302; Опубликованный материал нарушает авторские права? | Защита персональных данных


Не нашли то, что искали? Воспользуйтесь поиском:

Лучшие изречения: На стипендию можно купить что-нибудь, но не больше... 9478 - | 7515 - или читать все...

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

 

3.234.244.18 © studopedia.ru Не является автором материалов, которые размещены. Но предоставляет возможность бесплатного использования. Есть нарушение авторского права? Напишите нам | Обратная связь.


Генерация страницы за: 0.003 сек.