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