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

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


examination:flp:question69

Содержание

upper_lower

Предикат upper_lower преобразует строку, все символы (или часть символов) которой являются символами верхнего регистра, в строку соответствующих символов нижнего регистра, и наоборот. Формат предиката:

 upper_lower(Upper,Lower) % (i,o), (o,i), (i,i)

Если оба параметра связаны, то upper_lower завершается успешно, если Upper и Lower связаны со строками, которые являются конвертируемыми друг в друга. Напримеp, целевое утверждение:

 goal
    str1=samPLEstrING,
    str2=SAMpleSTRing,
    upper_lower(Str1,Str2).

успешно.

tan

Функция tan возвращает значение тангенса своего аргумента. 
 tan(X) % (i)

Выражение Z=tan(X) ставит в соответствие Z (если оно свободно) результат, или возвратит успех/неуспех, если Z уже определено. Например:

 Pi=3.141592653,
 Z=tan(X) % Z будет равно почти 0

trace

Эффект выполнения предиката trace заключается в установлении режима полной трассировки. Это значит, что после выполнения trace вы получите возможность наблюдать за каждым из четырех основных типов событий которые происходят с каждым порождаемым вашей программой целевым утверждением.

text

Для работы в графическом режиме следует воспользоваться стандартным предикатом graphics. Для возврата к текстовому режиму используется стандартный предикат text.

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