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










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

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

 

«апись правил и процедур

{SITELINK-S512}ѕравила в ѕрологе {/SITELINK}используютс€ дл€ описани€ определений, запросов к базам данных, а также обращений к другим правилам и процедурам. ѕримеры записи правил:

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

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

бабушка (x,z) ђ мама (х,у), родитель (y,z);

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

ќбща€ {SITELINK-S514}форма записи правил на ѕрологе{/SITELINK}:

правило:

<заголовок> ( <определение>;

«десь <заголовок> отдел€етс€ от <определени€> двум€ знаками: ђ Ђменьшеї и Ђтиреї. ¬ конце правила записываетс€ Ђточка с зап€­тойї.

«аголовки правил имеют следующую форму:

заголовок:

<им€>(<парам>[,<парам> ...])

«десь <им€> - это любое слово или словосочетание. ¬ роли параметров в заголовках правил могут указыватьс€ переменные или конкретные значени€ либо неопределенные значени€ с помощью знака подчеркивани€ [_].

ќписание заголовка служит образцом записи обращений к правилам и процедурам. ќпределени€ в правилах образуютс€ из обращений к другим правилам и процедурам, а также из запросов к данным и встроенным {SITELINK-S513}процедурам ѕролога{/SITELINK}. ќбща€ форма записи определений в правилах:

определение:

<заголовок>[,<заголовок> ...]

«апросы и определени€ отдел€ютс€ в описани€х правил зап€тыми и записываютс€ по тем же правилам, что и заголовки.

ѕор€док записи обращений и запросов в определени€х правил в €зыке ѕролог весьма существенен, поскольку он задает пор€док их применени€ и выполнени€. Ќарушение этого пор€дка может при­вести к значительному изменению конечных результатов выполнени€ правил и процедур.

–езультатом выполнени€ любых процедур и правил в ѕрологе всегда €вл€ютс€ логические значени€ - ƒј либо Ќ≈“, соответству­ющее успеху или неуспеху их применени€. ¬ этом смысле приме­нение правил в ѕрологе совпадает с проверкой условий в логике. —оответственно форма записи обращений к правилам и процедурам в ѕрологе совпадает с формой записи предикатов в математической логике.

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

ѕример такого обращени€:

? родитель (х,вова)

х = зина

ѕолученный ответ имеет двойной результат: во-первых, подтверж­дение истинности наличи€ Ђродителейї у Ђвовыї, а во-вторых, кон­кретизаци€ переменной Ђхї в обращении к процедуре Ђродительї с именем Ђвоваї, котора€ дает значение Ђх = зинаї.

 роме конкретизации значений переменных в запросах и обра­щени€х результатами выполнени€ процедур и правил в ѕрологе могут быть различного рода побочные эффекты - вывод на экран линий, точек, картинок, сообщений, запись и считывание данных и т. п.

¬ этом смысле результаты выполнени€ процедур и программ на ѕрологе могут быть эквивалентны результатам выполнени€ программ на других €зыках программировани€.


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

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


 
     
   
 


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

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

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

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

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


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

 


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