АвтоАвтоматизацияАрхитектураАстрономияАудитБиологияБухгалтерияВоенное делоГенетикаГеографияГеологияГосударствоДомДругоеЖурналистика и СМИИзобретательствоИностранные языкиИнформатикаИскусствоИсторияКомпьютерыКулинарияКультураЛексикологияЛитератураЛогикаМаркетингМатематикаМашиностроениеМедицинаМенеджментМеталлы и СваркаМеханикаМузыкаНаселениеОбразованиеОхрана безопасности жизниОхрана ТрудаПедагогикаПолитикаПравоПриборостроениеПрограммированиеПроизводствоПромышленностьПсихологияРадиоРегилияСвязьСоциологияСпортСтандартизацияСтроительствоТехнологииТорговляТуризмФизикаФизиологияФилософияФинансыХимияХозяйствоЦеннообразованиеЧерчениеЭкологияЭконометрикаЭкономикаЭлектроникаЮриспунденкция

Clauses

Читайте также:
  1. Attributive Clauses
  2. Nominal Clauses
  3. Nominal Clauses
  4. The Types of Subordinate Clauses

con('T','T','T').

con('T','F','F').

con('F','T','F').

con('F','F','F').

diz('T','T','T').

diz('T','F','T').

diz('F','T','T').

diz('F','F','F').

neg('T','F').

neg('F','T').

pred(A,B,C,Z):- con(A,B,X),neg(X,Y),diz(Y,C,Z).

Goal

pred('T','F','T',Z).

 

Цель сопоставляется с головой правила, и его переменные A,B,C получают соответствующие значения которые передаются в предикаты тела правила и

Первый предикат – цель в БЗ находит сопоставимый предикат в результате чего

Второй предикат – цель с в БЗ находит сопоставимый предикат в результате чего

Третий предикат – цель с и в БЗ находит сопоставимый предикат в результате чего получаем конечное значение логической формулы которое передается в голову правила и выводится как ответ Z = T.


1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 |

Поиск по сайту:



Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Студалл.Орг (0.003 сек.)