Студопедия

КАТЕГОРИИ:

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



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




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

 

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

факт:

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

 

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

имя:

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

 

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

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

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

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

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

 

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

слово:

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

 

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

число:

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

 

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

 

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

 



Дата добавления: 2014-11-13; просмотров: 5; Нарушение авторских прав







lektsii.com - Лекции.Ком - 2014-2021 год. (0.005 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав
Главная страница Случайная страница Контакты