??? Операции определены только для целых чисел ??? Нужно добавить mod Arg1 + Arg2 Arg1 Float/Integer/String первое слагаемое Arg2 Float/Integer/String второе слагаемое Float/Integer/String В зависимости от типа аргумента: если суммируются числа, то результат также является числом (целым или вещественным), если хотя бы одним из аргументов является строка, то функция действует как конкатенация, объединяющая две строки. Если второй аргумент не является строкой, он переводится в строку по стандартным правилам. результат суммирования Arg1 - Arg2 Arg1 Integer/Float уменьшаемое Arg2 Integer/Float вычитаемое Integer/Float вычитает из первого аргумент второй аргумент разность Arg1 * Arg2 Arg1 Integer/Float первый сомножитель Arg2 Integer/Float второй сомножитель Integer/Float умножает аргументы результат умножения Arg1 div Arg2 Arg1 Integer/Float делимое Arg2 Integer/Float делитель Integer/Float делит нацело первый аргумент на второй аргумент результат деления Стандартный знак деления "/" используется во Флэнге для других целей (для работы с xml-термами) - Arg Arg Integer/Float Число Integer/Float меняет знак целого числа целое число, обратное аргументу Arg1 << Arg2 Arg1 Integer/Float первое сравниваемое число или строка Arg2 Integer/Float второе сравниваемое число или строка Boolean проверяет, является ли первое число или строка строго меньше аргумента - числа или строки. В случае строк используется лексикографический порядок true/fail предикат Arg1 <= Arg2 Arg1 Integer/Float первое число Arg2 Integer/Float второе число Boolean проверяет, является ли первое число меньшим или равным второму числу true/fail предикат Arg1 == Arg2 Arg1 Object первое сравниваемое значение Arg2 Object второе сравниваемое значение Boolean проверяет на равенство два объекта true/fail предикат. Внимание: если объект является сложным (например, xml-термом, списком и т.д), то аргументы будут равны только в том случае, если они содержат один и тот же объект. Сравнение разных объектов производится функцией equal ??? Пока работает только для целых чисел и атомов, хотя проверка на тип не производится Arg1 >= Arg2 Arg1 Integer/Float первое число Arg2 Integer/Float второе число Boolean проверяет, является ли первое число меньшим, либо равным второму true/fail предикат Arg1 >> Arg2 Arg1 Integer/Float/String первое сравниваемое значение Arg2 Integer/Float/String второе сравниваемое значение Boolean сравнивает, больше ли первый аргумент второго. В случае строки используется лексикографический порядок true/fail предикат Arg1 >= Arg2 Arg1 Integer/Float первое сравниваемое число Arg2 Integer/Float второе сравниваемое число Boolean проверяет, является ли первый аргумент большим или равным второму аргументу true/fail предикат Term1 = Term2 Term1 Object первый унифицируемый объект Term2 Object второй унифицируемый объект Boolean в процессе унификации (совмещения) вместо свободных переменных в термах подставляются значения, делающие термы равными. ident(Expr) Expr Object произвольное выражение Object тождественная функция, возвращающая значение своего аргумента значение аргумента struct(Functor) Functor String имя и местность функтора в формате имя/местность. Boolean Декларирует в системе новую структуру, задаваемую аргументом Functor. Аргумент должен быть строкой в формате имя/местность. Hапример если аргумент равен "f/3", то в дальнейшем выражения вида f(X, Y, Z) будут пониматься системой как термы (структуры). Константа [] List Атом пустого списка [Head | Tail] Head Object Голова (первый элемент) списка Tail List Хвост (список остальных элементов) List Конструктор списка [Head | Tail] присоединяет элемент Head к списку Tail в качестве первого элемента. newHash() Hash Порождает новую пустую хэш-таблицу. пустая хэш-таблица newHash(Contents) Contents List/Vector содержимое хэш-таблицы Hash Создает новую хэш-таблицу с парами ключ-значение, перечисленными в Contents в виде списков или векторов, элементами которых являются термы вида ключ/значение. Элементами списка/вектора могут быть также другие hash-таблицы. В этом случае функция переносит в новую хэш-таблицу данные из этих хэш-таблиц. Хэш-таблица Аргумент функции может быть как вектором, так и списком. При порождении хэш-таблицы функция перебирает элементы Contents аналогично тому, как это делает перечисление eFlat. Поэтому аргумент функции может содержать вложенные списки и вектора и их смешение. Элементарными единицами Contents могут быть термы вида n/v, где n и v - произвольные элементы, а также другие хэш-таблицы. В последнем случае в порождаемую хэш-таблицу добавляется содержимое этой хэш-таблицы. hClear(H) H Hash очищаемая hash-таблица Hash Удаляет все ключи и значения из hash-таблицы Очищенная пустая hash-таблица hClone(H) H Hash клонируемая hash-таблица Hash Делает копию hash-таблицы Копия hash-таблицы hasValue(H, V) H Hash hash-таблица, в которой проверяется значение V Object проверяемое значение Boolean проверяет, содержится ли значение V в таблице H true/fail предикат hasKey(H, K) H Hash hash-таблица, в которой проверяется наличие ключа K Object ключ, проверяемый на наличие в таблице Boolean Проверяет наличие ключа K в таблице H true/fail предикат hGet(H, K) H Hash hash-таблица, в которой ведется поиск K Object ключ, по которому ведется поиск Object Выдает значение, соответствующее ключу K Значение ключа K hPut(H, K, V) H Hash таблица, в которую включается пара ключ-значение K Object ключ V Object значение Boolean Добавляет в таблицу H пару ключ-значение true/fail hRemove(H, K) H Hash таблица, из которой удаляется ключ K Object удаляемый ключ Удаляет из таблицы H ключ K с соответствующими значениями. Возвращает значение, привязанное к данному ключу (если есть), либо null getContext(OldEnv, NewEnv) OldEnv Hash изменяемый контекст (набор пар ключ/значение) NewEnv Hash изменяющий контекст Hash Объединяет hash-таблицы (контексты) OldEnv и NewEnv. Значения общих ключей выбираются из нового контекста NewEnv Таблица, в которой в контекст OldEnv добавлены пары из NewEnv, причем если ключ определен в обоих контекстах, то значение выбирается из NewEnv Функция в первую очередь ориентирована на обработку xml- и html-термов. Пример: объединение множеств атрибутов getContext(newHash([color="red", size="15"], newHash([color="blue", font="Arial"]) дает hash-таблицу {color/"blue", size/"15", font/"Arial"} Arg1 + Arg2 Arg1 String/Object первый аргумент Arg2 String/Object второй аргумент String если хотя бы один из аргументов является строкой, другой аргумент конвертируется в строку, после чего строки объединяются Строка-конкатенация по крайней мере один из аргументов должен быть строкой Obj1 << Obj2 Obj1 Object первый сравниваемый объект Obj2 Object втроой сравниваемый объект Boolean Если хотя бы один из аргументов является строкой, то приводит второй аргумент к строковому виду, после чего лексикогрфически сравнивает объекты по схеме функции sCompareIgnoreCase/2. Равен true, если первый объект лексикографически меньше второго объекта Obj1 >> Obj2 Obj1 Object первый сравниваемый объект Obj2 Object втроой сравниваемый объект Boolean Если хотя бы один из аргументов является строкой, то приводит второй аргумент к строковому виду, после чего лексикогрфически сравнивает объекты по схеме функции sCompareIgnoreCase/2. Равен true, если первый объект лексикографически больше второго объекта Obj1 <= Obj2 Obj1 Object первый сравниваемый объект Obj2 Object втроой сравниваемый объект Boolean Если хотя бы один из аргументов является строкой, то приводит второй аргумент к строковому виду, после чего лексикогрфически сравнивает объекты по схеме функции sCompareIgnoreCase/2. Равен true, если первый объект лексикографически меньше или равен второму объекту Obj1 >= Obj2 Obj1 Object первый сравниваемый объект Obj2 Object втроой сравниваемый объект Boolean Если хотя бы один из аргументов является строкой, то приводит второй аргумент к строковому виду, после чего лексикогрфически сравнивает объекты по схеме функции sCompareIgnoreCase/2. Равен true, если первый объект лексикографически больше или равен второму объекту. isString(Obj) Obj Object проверяемый объект Boolean Проверяет, является ли аргумент строкой true/fail предикат sLength(String) String String строка, у которой определяется длина Integer Вычисляет длину строки Целочисленное значение длины строки sCharAt(String, Idx) String String строка Idx Integer индекс строки Integer Вычисляет длину строки Целочисленное значение длины строки isEqual(String1, String2) String1 String первая строка String2 String вторая строка Boolean проверяет, совпадают ли две строки true/fail предикат sCompare(String1, String2) String1 String первая сравниваемая строка String2 String вторая сравниваемая строка Integer лексикографически сравнивает строки целочисленное значение: если меньше 0, то первая строка лексикографически меньше второй, если 0, то строки равны, если больше 0, то вторая строка лексикографически меньше первой sCompareIgnoreCase(String1, String2) String1 String первая сравниваемая строка String2 String вторая сравниваемая строка Integer лексикографически сравнивает строки без учета регистра целочисленное значение: если меньше 0, то первая строка лексикографически меньше второй, если 0, то строки равны, если больше 0, то вторая строка лексикографически меньше первой sToLowerCase(String) String String Обрабатываемая строка String Порождает строку, в которой заглавные буквы строки-аргумента заменены на строчные Строка со строчными символами sToUpperCase(String) String String обрабатываемая строка String Порождает строку, в которой строчные буквы строки-аргумента заменены на заглавные Строка с заглавными буквами sIndexOf(String1, String2) String1 String cтрока, в которой ищется подстрока String2 String искомая подстрока Integer Ищет вхождение строки 2 в строку 1. Возвращает индекс первого вхождения строки 2 в строку 1. Возвращает индекс первого вхождения строки 2 в строку 1 sIndexOf(String1, String2) String1 String Строка, в которой ищется вхождение строки String2 String2 String Строка, последнее вхождение которой ищется в строке String1 Integer Аналогична sIndexOf/1, но ищет не первое, а последнее вхождение подстроки Позиция последнего вхождения строки String2 в String1. subString(String, Idx1, Idx2) String String строка, в который вырезается подстрока Idx1 Integer начальный индекс вырезаемой подстроки Idx2 Integer конечный индекс вырезаемой подстроки String Вырезает в строке подстроку Вырезаемая подстрока sAppend(String1, String2) String1 String первая строка String2 String вторая строка String присоединяет справа строку 2 к строке 1 объединенная строка sValueOf(Term) Term Object преобразуемый объект String конвертирует объект в строчный вид строка, представляющая преобразуемый объект sTrim(Str) Str String строка, у которой удаляются пробелы String Удаляет пробелы с обоих концов строки Строка без пробелов на концах Удаляются символы, чей код не больше кода пробела (32). sNorm(Str) Str String нормализуемая строка String Нормализует строку-аргумент: удаляя пробельные символы с концов строки и заменяя последовательности пробельных символов внутри строки одним символом пробела Нормализованная строка startsWith(Str, Prefix, Offset) Str String строка, начало которой сравнивается со вторым аргументом Prefix String строка-префикс Offset Integer Позиция в первой строке, с которой начинается проверка Boolean Проверяет, начинается ли строка Str с индекса Offset строкой Prefix true, если условие выполняется, fail в противном случае sEndsWith(Str, Suffix) Str String сравниваемая строка Suffix String строка-окончание Boolean Проверяет, заканчивается ли строка Str подстрокой Suffix true, если условие выполняется, fail в противном случае sReplace(Pattern, Input) Pattern String Шаблон, по которому проводится замена, например "s/(\d):/($1)/g" Input String Входная строка, в которой проводятся замены String В соответствии с правилами Perl5 пытается провести замену подстрок, удовлетворяющих шаблону. Стандартным образом используются \1.., $1, а также ключи - g, i, x, m Результирующая строка, полученная из входном после операций замены Пример: результатом sReplace("s/http:\/\/[\/\.\w\-\?~_@&=%]+/<a href='$0'>$0<\/a>/", "Flang home page: http://www.teacode.com/flang"); будет "Flang home page: <a href='http://www.teacode.com/flang'>http://www.teacode.com/flang</a>" sMatch(Pattern, InputString) Pattern String Шаблон, по которому внутри строки ищется соответствие InputString String Строка, в которой ищется соответствие Boolean Данная функция инициализирует поиск в строке InputString подстроки, соответствующей шаблону Pattern. Результат работы этой функции в дальнейшем доступен с помощью функции sGroup/1 Пример: sMatch("/\d:.*?(?=\d:)/", "1: haha 2: hehe 3: hoho"); возвращает true, кроме того устанавливается соответствие между группами шаблона и первым вариантом установки соответствия между шаблоном и подстрокой обрабатываемой строки sMatch() Boolean Находит очередное совпадение шаблона и подстроки, инициализированное sMatch/2. Результаты совпадения получаются с помощью функции sGroup/1 Истина, если очередное совпадение найдено sGroup(GroupNum) GroupNum Integer Номер группы, результат совпадения которой с подстрокой необходимо вернуть String Выдает подстроку, которая совместилась с группой, имеющей номер GroupNum, во время последнего применения функции sMatch. Строка, совпавшая с группой с номером GroupNum при последнем применении функции sMatch. Группа - часть шаблона, заключенная в круглые скобки. Группы нумеруются в порядке вхождения открывающих скобок группы в шаблон. Например, шаблон "((.*)-.*)- " содержит две группы: первая - ((.*)-.*) и вторая (.*). При этом группа с номером 0 - все совпавшее выражение. Пример: после вызова sMatch("/((.*)-.*)-/", "ab-cd-e"), будут следующие результаты: sGroup(0)="ab-cd-" sGroup(1)="ab-cd" и sGroup(2)="ab" sSplit(PatternSeparator, SplittedString) PatternSeparator String Шаблон, разделяющей строку на подстроки SplittedString String Строка, разбиваемая на подстроки в соответствии с шаблоном Enumeration Разбивает строку SplittedString на подстроки в соответствии с шаблоном PatternSeparator. Перечисление подстрок входной строки, разделенных шаблоном PatternSeparator Пример: разбиение sSplit("/, /", "1, 2, 3") разбивает строку "1, 2, 3" на три подстроки "1", "2" и "3", последовательность которых формируется в виде перечисления newVector(Data) Data Integer/List если аргумент - число, то определяется стартовая длина вектора, если - список, то вектор формируется явно из элементов списка Vector порождает новый вектор. Если аргументом функции является число N, то порождается вектор длины N, содержащий N новых свободных переменных. Если аргумент - список, то вектор формируется из элементов списка вектор vGet(V, Idx) V Vector вектор, в котором выбирается значение Idx Integer позиция значения, которое выбирается в векторе Object выбирает Idx-ный элемент вектора V выбранный элемент вектора V vSet(V, Idx, Obj) V Vector вектор, у которого изменяется значение элемента Idx Integer индекс изменяемого элемента вектора (неотрицательное целое число) Obj Object Значение, присваиваемое Idx-ному элементу вектора Object Объект Obj становится Idx-ным элементом вектора V значение объекта Obj vRemove(V, Idx) V Vector Вектор, в котором удаляется элемент Idx Integer Индекс удаляемого элемента Object Удаляет элемент с номером Idx из вектора V, уменьшая количество элементов V на 1 Удаляемый элемент vAdd(Vector, Elem) Vector Vector вектор, в который добавляется элемент Elem Object элемент, добавляемый в вектор Vector Добавляет элемент в конец вектора функция возвращает вектор с добавленным элементом vLength(Vec) Vec Vector вектор, у которого измеряется длина Integer Измеряет длину вектора Возвращает неотрицательное целое число, являющееся длиной вектора isVar(Obj) Obj Object проверяемый объект (терм) Boolean Проверяет, является ли объект Obj свободной (пустой) переменной, вместо которой можно подставлять значение true, если объект является пустой переменной, fail в противном случае isInt(Obj) Obj Object объект у которого проверяется тип Boolean Проверяет, является ли объект Obj целым числом. Если да, то возвращается true, если нет - возникает возврат (fail) В случае успеха, результатом является true isString(Obj) Obj Object объект, у которого определяется тип Boolean Проверяет, является ли объект строкой true, если Obj является строкой, fail, если объект не является строкой isFloat(Obj) Obj Object объект, у которого проверяется тип Boolean Проверяет, является ли аргумент строкой true, если аргумент - строка, fail в противном случае isAtom(Obj) Obj Object объект, у которого проверяется тип Boolean Проверяет, является ли объект атомом isTerm(Obj) Obj Object объект, у которого проверяется тип Boolean Проверяет, является ли аргумент структурой true, если аргумент - структура, fail в противном случае isHash(Obj) Obj Object проеряемый объект Boolean Проверяет, является ли аргумент Obj хэш-таблицей true, если аргумент - таблица, fail в противном случае isVector(V) V Object Проверяемый объект Boolean Проверяет, является ли аргумент V вектором true, если вектор, неудача в противном случае </