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










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

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

 

ќписани€ фактов

‘акты в {SITELINK-S510}€зыке ѕролог {/SITELINK}описываютс€ в следующей форме:

факт:

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

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

им€:

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

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

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

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

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

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

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

слово:

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

„исла в данной {SITELINK-S511}реализации ѕролога {/SITELINK}- это только целые числа (отрицательные - со знаком минус):

число:

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

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

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


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

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


 
     
   
 


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

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

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

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

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


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

 


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