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

Описания фактов

Читайте также:
  1. Аппроксимация теоретического описания технической системы
  2. Виды юридических фактов в семейном праве
  3. Гармонизированная система описания и кодирования товаров
  4. Журнал регистрации фактов хозяйственной жизни
  5. Журнал регистрации хозяйственных фактов
  6. Историко—литературное значение древнерусского летописания и его основные этапы.
  7. Каждая теория изучения имеет свою литературу, свою периодизацию, свой понятийный аппарат, свои объяснения исторических фактов.
  8. Корпускулярная и континуальная концепции описания природы
  9. КРАТКИЙ ХРОНОЛОГИЧЕСКИЙ ПЕРЕЧЕНЬ НАИБОЛЕЕ ЗАМЕЧАТЕЛЬНЫХ ФАКТОВ,
  10. Метод описания процессов
  11. Незнание некоторых фактов.
  12. ОБЩИЕ ПРИНЦИПЫ ОПИСАНИЯ СЛОВОСОЧЕТАНИЙ КАК СИНТАКСИЧЕСКИХ ЕДИНИЦ

 

Факты в языке Пролог описываются в следующей форме:

факт:

<имя>(<арг>[,<арг>...]);

 

Описание факта начинается с имени. В роли имен могут исполь­зоваться любые последовательности букв и цифр, начинающиеся с буквы;

имя:

<буква>[<буква><цифра>...]

 

Буквы могут быть выбраны из русского и латинского алфавитов.

После имени в описаниях фактов задается список аргументов, заключаемых в круглые скобки. В конце описания каждого из фак­тов ставится точка с запятой.

В роли аргументов могут быть указаны любые слова, словосоче­тания и числа. Словосочетание - это любая последовательность слов, соединенных знаком подчеркивания.

Словосочетание:

<слово>[<слово>...]

 

Слова, как и имена, - это любые последовательности из букв и цифр, начинающиеся с букв:

слово:

<буква>[<буква><цифра>...]

 

Числа в данной реализации Пролога - это только целые числа (отрицательные - со знаком минус):

число:

[—]<цифра>[<цифра>...]

 

Примеры записи чисел - 0, 1, +3, -25.

 

С е м а н т и к а: каждый факт в Прологе интерпретируется как некоторое истинное утверждение. Опираясь на эти утверждения, интерпретатор Пролога рассматривает различные вопросы как утверждения, которые должны быть доказаны или опровергнуты исходя из имеющихся фактов и правил.

 



1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | 29 | 30 | 31 | 32 | 33 | 34 | 35 | 36 | 37 | 38 | 39 | 40 | 41 | 42 | 43 | 44 | 45 | 46 | 47 | 48 | 49 | 50 | 51 | 52 | 53 | 54 | 55 | 56 | 57 | 58 | 59 | 60 | 61 | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | 72 | 73 | 74 | 75 | 76 | 77 |

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



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