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










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

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

{LTS}

 

ѕравила записи вопросов

{SITELINK-S511}¬опросы в ѕрологе {/SITELINK}служат дл€ записи простых или сложносоставных запросов к базам знаний или обращений к процедурам и про­граммам. ќтветами на запросы к базам данных и знаний могут быть логические значени€ ƒј (истина) или Ќ≈“ (ложь) либо список кон­кретных данных, отвечающих запросу.

ќбща€ форма записи сложносоставных вопросов:

сложный вопрос:

? <вопрос>[,<вопрос> ...]

¬ сложносоставных вопросах составл€ющие его подвопросы раз­дел€ютс€ зап€тыми. Ћюбой {SITELINK-S513}вопрос в ѕрологе{/SITELINK} начинаетс€ со знака вопроса Ђ?ї и заканчиваетс€ знаком Ђточка с зап€тойї. ѕример сложносоставного вопроса:

? папа (х,у), папа (у,вова);

ѕростые вопросы имеют следующую форму записи:

простой вопрос:

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

«десь <им€> - это им€ некоторого факта или правила в програм­ме или базе знаний.  оличество аргументов в таком простейшем вопросе должно строго совпадать с количеством аргументов (пара­метров) в описани€х соответствующих фактов и правил.

¬ роли аргументов в вопросах могут указыватьс€ как конкретные значени€, так и переменные. ≈сли в вопросе указаны только кон­кретные значени€, то ответом будет логическое значение ƒј или Ќ≈“. ≈сли же в вопросе указываютс€ переменные, то при положительном ответе дополнительным результатом будет вывод конкретных значе­ний переменных, указанных в исходном вопросе.

¬ роли переменных в ѕрологе могут указыватьс€ латинские и русские буквы, как строчные, так и прописные: а, b, с, ..., х, у, z; A, ¬, —, ..., X, Y, Z; а, б, в, ... , э, ю, €; ј, Ѕ, ¬, ..., Ё, ё, я.

 роме того, в качестве имен переменных могут употребл€тьс€ лю­бые слова и словосочетани€, заканчивающиес€ знаком апострофа ['].

ѕримеры имен: дед ', х1 ', оценка4 ' и т. п.

 роме того, в вопросах и правилах на ѕролог аргументы могут иметь неопределенные значени€. ƒл€ этого вместо конкретных значений или имен переменных в вопросе указываетс€ знак подчер­кивани€ [ _ ].

ѕример вопроса с использованием неопределенных значений:

? мама (мать', _ );

ќтветом на указанный вопрос будет перечень имен всех матерей, сведени€ о которых имеютс€ в базе знаний.


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

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


 
     
   
 


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

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

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

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

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


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

 


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