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

Сlauses

Читайте также:
  1. Domains
  2. Основные конструкции языка Visual PROLOG

sht(’T’,’T’,’F’).

sht(’T’,’F’,’F’).

sht(’F’,’T’,’F’).

sht(’F’,’F’,’T’).

 

Целью (их всего 4) может быть предикат sht (’F’,’F’,’X’), в котором требуется определить значение Х логической функции «штрих Шиффера» при значениях и

Перейдем к программированию на Прологе логических формул. В качестве примера возьмем формулу

Для описания этой формулы требуются база данных, содержащие предикаты отрицания , конъюнкция и дизъюнкция , а также правило с головой-предикатом pred(A,B,C,Z) и телом, состоящим из предикатов con, neg и diz. Логические операции в формуле выполняются в следующем порядке: конъюнкция, отрицание, дизъюнкция. Конъюнкцию реализует предикат con(A,B,X), отрицание - предикат neg(X,Y) и дизъюнкцию - предикат diz(Y,C,Z). В итоге правило примет вид


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

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

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