Upper_lower/2

Этот предикат преобразует строку, все символы (или часть символов)

которой являются символами верхнего регистра, в строку соответствующих

символов нижнего регистра и наоборот. Он имеет формат:

upper_lower (Upper,Lower) /*(i,o),(o,i),(i,i)*/

Если оба параметра ограничены, upper_lower завершается успешно, если

Upper и Lower связаны со строками, которые являются идентичными; напри-

мер, целевое утверждение:

Str1=samPLEstrING

Str2=sAMpleSTRing

upper_lower(Str1,Str2)

завершается успешно. В ином случае оно завершается неудачно.