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

Базовые понятия языка Пролог

Читайте также:
  1. I. ОСНОВНЫЕ ПОНЯТИЯ (ТЕРМИНЫ) ЭКОЛОГИИ. ЕЕ СИСТЕМНОСТЬ
  2. III.I. ПОНЯТИЯ «КАРТИНА МИРА» И «ПАРАДИГМА». ЕСТЕСТВЕННОНАУЧНАЯ И ФИЛОСОФСКАЯ КАРТИНЫ МИРА.
  3. VIII.1. Общие понятия обязательственного права
  4. XIV. ОПЕРАТОРЫ ЯЗЫКА ПАСКАЛЬ
  5. Абстрактное речевое мышление, понятия, умозаключения.
  6. Алфавит языка Паскаль
  7. АНГЛИЙСКОГО ЯЗЫКА
  8. Арифметические операции языка С
  9. Б) Базовые учебники
  10. БАЗОВЫЕ ДОЗИМЕТРИЧЕСКИЕ ВЕЛИЧИНЫ
  11. Базовые знания, умения, навыки необходимые для изучения темы
  12. Базовые идеи анархизма, национализма, фашизма, пацифизма, феминизма, глобализма, антиглобализма, религиозного фуендаментализма.

 

Основными понятиями в языке Пролог являются факты, правила и вопросы. Из фактов и правил образуются описания данных, про­цедур и программы на языке Пролог. Вопросы - это основное сред­ство ведения диалога с базами знаний и программами, имеющимися в памяти ЭВМ.

Факты в Прологе служат для описания конкретных данных и простейших сведений. Примеры фактов:

 

мама (зина, вова); - Зина - мама Вовы

папа (миша, вова); - Миша - папа Вовы

 

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

данные:

<факт>; [<факт>;...]

 

Правила используются для описания определений, процедур принятия решений и обработки данных. Примеры использования правил для описания определения понятия «родитель»:

 

родитель (х,у) папа (х,у); - Родитель — это папа или мама

родитель (х,у) мама (х,у);

 

Процедуры образуются из некоторых групп правил. Общая форма описания процедур в Прологе:

процедура:

[<факты>] <правило>; [<правило>; ...]

 

Пример описания рекурсивной процедуры, в которой определя­емое понятие задается через самое себя:

предок (х,у) родитель (х,у);

предок (x,z) родитель (х,у), предок (y,z);

 

Программа на Прологе — это совокупность процедур над опреде­ленными данными:

программа:

<процедуры>; [<данные>;]

 

Описания баз данных на Прологе образуют совокупность описа­ний данных:

база данных:

<данные>; [<данные>; ... ]

 

Базы знаний на Прологе описываются наборами фактов и правил определения обобщенных понятий над ними:

база знаний:

 

<данные>; <правила>;

 

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

 

? мама (х,вова) ?


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.006 сек.)