Инструменты пользователя

Инструменты сайта


examination:flp:question57

Содержание

isname

Предикат isname проверяет, является ли аргумент допустимым именем согласно синтаксису Пролога, и имеет формат:

 isname(String) % (i)

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

if

Как упоминалось выше, к качестве разделителя заголовка и тела правила Пролог использует знак :-, который читается как «если» (if). Однако if Пролога отличается от if в других языках, например в Pascal, где условие, содержащееся в оператре if, должно быть указано перед телом оператора if, который может быть выполнен. Другими словами:

   "if HEAD is true, then BODY is true (or then do BODY)"
   (если ЗАГОЛОВОК истинен, тогда ТЕЛО истинно (или: тогда выполнить ТЕЛО) 

Данный тип оператора известен как условный оператор если/тогда (if/then). Пролог же использует другую форму логики в таких правилах. Вывод об истинности заголовка правила Пролога делается, если (после того, как) тело этого правила истинно например, так:

   "HEAD is true if BODY is true (or: if BODY can be done)"
   ЗАГОЛОВОК истинен, если ТЕЛО - истинно (или: если ТЕЛО может быть выполнено) 

Учитывая вышесказанное, правило Пролога соответствует условной форме тогда/если, (then/if).

inkey

Предикат INKEY читает один символ с клавиатуры

keypressed

Проверяет, была ли нажата любая клавиша

examination/flp/question57.txt · Последние изменения: 2014/01/15 08:17 (внешнее изменение)