«аочное дистанционное образование с получением государственного диплома через Internet










ѕолучить информацию о поступлении
 
√лавна€ Ќовости  арта сайта ‘отоальбом √остева€ книга  онтакты

ƒиалог с программами на ѕрологе
Ѕазовые пон€ти€ €зыка ѕролог
ќписани€ фактов
ѕравила записи вопросов
«апись правил и процедур
Ёлементы €зыка ѕролог
¬строенные предикаты ѕролога

{LTS}

 

Ѕазовые пон€ти€ €зыка ѕролог

ќсновными пон€ти€ми {SITELINK-S510}в €зыке ѕролог {/SITELINK}€вл€ютс€ факты, правила и вопросы. »з фактов и правил образуютс€ описани€ данных, про­цедур и программы на €зыке ѕролог. ¬опросы - это основное сред­ство ведени€ диалога с базами знаний и программами, имеющимис€ в пам€ти Ё¬ћ.

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

мама (зина, вова); - «ина - мама ¬овы

папа (миша, вова); - ћиша - папа ¬овы

√руппы фактов могут образовывать данные. —овокупность дан­ных, размещаемых на дисках, образуют базы данных. ќбщее опреде­ление данных в ѕрологе:

данные:

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

ѕравила используютс€ дл€ описани€ определений, процедур прин€ти€ решений и обработки данных. ѕримеры использовани€ правил дл€ описани€ определени€ пон€ти€ Ђродительї:

родитель (х,у) ђ папа (х,у); - –одитель Ч это папа или мама

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

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

процедура:

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

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

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

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

{SITELINK-S511}ѕрограмма на ѕрологе {/SITELINK}Ч это совокупность процедур над опреде­ленными данными:

программа:

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

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

база данных:

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

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

база знаний:

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

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

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

предок (х,вова)


”знать как сэкономить в кризис моно на сайте ekonom-it.ru

 омпоненты программы ќписание программы «аключение »нтерпретатор ѕролог ƒиалог с программами на ѕрологе ќписани€ фактов ѕравила записи вопросов «апись правил и процедур Ёлементы €зыка ѕролог ¬строенные предикаты ѕролога 


 
     
   
 


ѕриглашаем прин€ть участие в круглом столе!
подробнее   >>>
 

»нститут ћенеджмента, Ёкономики и »нноваций начинает набор на курсы повышени€ квалификации!
подробнее   >>>
 

”важемые студенты јЌќ ¬ѕќ »ћЁи»!
подробнее   >>>
 

Ќачинаетс€ набор на курсы повышени€ квалификации!
подробнее   >>>
 

ѕриглашаем прин€ть участие в конференци€х!
подробнее   >>>
 


все новости...

 


–ассылки Subscribe.Ru
—овременное образование
ѕодписатьс€ письмом