Студопедия
Случайная страница | ТОМ-1 | ТОМ-2 | ТОМ-3
АвтомобилиАстрономияБиологияГеографияДом и садДругие языкиДругоеИнформатика
ИсторияКультураЛитератураЛогикаМатематикаМедицинаМеталлургияМеханика
ОбразованиеОхрана трудаПедагогикаПолитикаПравоПсихологияРелигияРиторика
СоциологияСпортСтроительствоТехнологияТуризмФизикаФилософияФинансы
ХимияЧерчениеЭкологияЭкономикаЭлектроника

Утверждения

Читайте также:
  1. X. Порядок утверждения для страховых медицинских организаций дифференцированных подушевых нормативов финансового обеспечения обязательного медицинского страхования
  2. А. До истечения двухлетнего срока со дня утверждения сего Положения
  3. А. До истечения двухлетнего срока со дня утверждения сего Положения
  4. Верными являются следующие утверждения (ЭкзП - экзогенные
  5. Глава 10. ПОРЯДОК СОСТАВЛЕНИЯ, РАССМОТРЕНИЯ И УТВЕРЖДЕНИЯ БЮДЖЕТА ГОРОДА
  6. Два утверждения называются эквивалентными, если совпадают их множества истинности.
  7. Какие утверждения правильны?

Программа на Прологе есть совокупность утверждений. Утверж­дения состоят из целей и хранятся в базе данных Пролога. Таким об­разом, база данных Пролога может рассматриваться как программа на Прологе. В конце утверждения ставится точка «.». Иногда утверж­дение называется предложением.

Основная операция Пролога - доказательство целей, входящих в утверждение.

Существуют два типа утверждений:

факт: это одиночная цель, которая, безусловно, истинна;

правило: состоит из одной головной цели и одной или более хво­стовых целей, которые истинны при некоторых условиях.

Правило обычно имеет несколько хвостовых целей в форме конъ­юнкции целей.

Конъюнкцию можно рассматривать как логическую функцию И. Таким образом, правило согласовано, если согласованы все его хво­стовые цели.

Примеры фактов:

собака(реке). родитель(голди.рекс).

Примеры правил:

собака (X):- родитель (X.Y),собака (Y). человек(Х):-мужчина(Х).

Разница между правилами и фактами чисто семантическая. Хотя для правил мы используем синтаксис операторов (более подробное рассмотрение операторного и процедурного синтаксисов выходит за рамки нашего курса), нет ни­какого синтаксического различия между правилом и фактом.

Так, правило

собака (X):- родитель(Х,У),собака(У). может быть задано как

:-собака (X) ',' родитель(Х.У).собака (Y).

Запись верна, поскольку:- является оператором «при условии, что», а ',' - это оператор конъюнкции. Однако удобнее записывать это как

собака (X):-родитель (X.Y),собака (Y).

и читать следующим образом: «Х - собака при условии, что родите­лем Х является Y и Y - собака».

Структуру иногда изображают в виде дерева, число ветвей кото­рого равно арности структуры.


Дата добавления: 2015-07-14; просмотров: 82 | Нарушение авторских прав


Читайте в этой же книге: Алгоритмические модели | Язык Рефал | Синтаксис | Сравнение результатов арифметических выражений | ПРЕДСТАВЛЕНИЕ МНОЖЕСТВ С ПОМОЩЬЮ БИНАРНЫХ ДЕРЕВЬЕВ | Механизм возврата | Пример: задача поиска пути в лабиринте | Элементы нечеткой логики |
<== предыдущая страница | следующая страница ==>
ПЕРЕМЕННЫЕ| Унификация

mybiblioteka.su - 2015-2024 год. (0.013 сек.)