??? Операции определены только для целых чисел ??? Нужно добавить 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, если вектор, неудача в противном случае isNS(Str) isStr String проверяемая строка Boolean Проверяет, является ли строка-аргумент url зарегистрированного в системе пространства имен true, если строка-аргумент является url некоторого пространства имен, fail в противном случае tToS(Obj) Obj Object объект (терм), переводимый в строковое представление String Переводит объект (терм) Obj в строковое представление Строка, представляющая данный терм Функция переводит любое выражение в строковое. Таблицы переводятся в формат {key1=val1,..., keyn=valn}, векторы - в формат (val1,..., valn), любое перечисление переводится в строку "ENUM". XML-термы переводятся в термальном формате. Если необходимо перевести xml- и html- терм в стандарный формат с тегами, то необходимо воспользоваться функциями xToS и hToS. uToS(Code) Code Integer List Vector unicode символа в виде целого числа, либо список/вектор уникодов символов в виде неотрицательных целых чисел String Если аргумент, является целым числом, то формируется строка длины 1, содержащая символ с номером кода (в кодировке Unicode), заданным аргументом. Если аргумент - список или вектор, то формируется строка, коды символов которой перечислены в аргументе Строка sToU(Str) Str String строка, которая преобразуется функцией в вектор уникодов Vector Порождает вектор целых чисел, являющихся кодами символов строки в порядке их вхождения в строку Вектор неотрицательных целых чисел-кодов IDREF nl0 Перечисления используются для последовательного перебора элементов объектов трех типов - списков, векторов и хэш-таблиц. enum(Object) Object List/Vector/String сложный объект, элементы которого перечисляются Enumeration Создает объект-перечисление, который позволяет в дальнейшем последовательно перебрать все элементы аргумента функции Объект-перечисление Кроме данной общей функции имеются специальные функции-перечисления для хэш-таблиц и списков eNext(Enum) Enum Enumeration объект-перечисление, у которого берется очередной элемент Enumeration выбирает следующий элемент объекта-перечисления возвращает перечисление с указателем, сдвинутым на следующий элемент если значений больше нет, то возвращается null eValue(Enum) Enum Enumeration объект-перечисление, у которого берется текущий элемент Object Возвращает текущий элемент объекта-перечисления, не меняя его (в отличие от enumNext) Текущий элемент объекта-перечисления Применение enumValue к только созданному объекту-перечислению даст в результате null. Чтобы выбрать первый элемент перечисления, необходимо воспользоваться функцией enumNext. Если элементы в перечислении закончились, возвращается null eKeys(Hash) Hash Hash хэш-таблица, для которой создается объект-перечисление Enumeration Создает объект-перечисление для ключей хэш-таблицы Hash Объект-перечисление ключей хэш-таблицы Позволяет перебрать содержимое хэш-таблицы по ее ключам eValues(Hash) Hash Hash хэш-таблица, значения которой перебираются Enumeration Создает объект-перечисление по значениям хэш-таблицы Объект-перечисление по значениям хэш-таблицы eFlat(Obj) Obj List/Vector список или вектор, для которого организуется перечисление Enumeration Создает объект-перечисление по элементам списка (вектора) с учетом подсписков (подвекторов) Объект-перечисление по элементам списка (вектора) с учетом подсписков (подвекторов) Пример. Пусть L=[[1], [2,3],[4]]. Тогда enum(L) даст следующее перечисление: [1], [2,3], [4]. eFlat(L) даст перечисление: 1,2,3,4. Аналогично действует в случае векторов, когда элементом вектора является другой вектор. Данная фукнция является основной при обработке содержимого xml-элементов, которые могут быть представлены как списками, так и векторами, причем в случае вложенных списков/векторов содержимое разворачивается в линейную последовательность. eReader(Reader) Reader Reader входящий поток, последовательность символов из которого будет перечисляться Enumeration Порождает перечисление, перебирающее символы из входного потока Перечисление eXML(XML) XML Term xml-документ, вершины которого перебираются Enumeration Порождает перечисление, обходящее узлы XML-терма всех типов (элементы, инструкции обработки, cdata, комментарии, текст, сущности). Узлы пространств имен в перечисление не включаются. перечисление, обходящее по всем узлам XML-дерева. eXElem(XML) XML Term xml-документ, элементы которого перебираются Enumeration Порождает перечисление, перебирающее элементы XML-терма (структуры типа xmlElem(...)) Соответствующее перечисление eXElem(XML, XPath) XML Term xml-терм, элементы которого перебираются XPath String условия в формате XPath, накладываемые на вершины. Enumeration Порождает перечисление, перебирающее вершины XML-терма (первый аргумент), удовлетворяющие условиям, описанным в XPath-выражении (второй аргумент) Соответствующее перечисление Пример: eXElem(XML, "//latex[@displaynum='#'"]) - перечисление, перебирающее все элементы XML с именем latex, содержащие атрибут displaynum, равный "#" exhausted(Enum) Enum Enumeration перечисление, у которого проверяется наличие оставшихся элементов Boolean Проверяет, остались ли у аргумента, который должен быть перечислением, неперебранные элементы или нет true, если есть неперечисленные элементы, false в противном случае apply(FunName, ArgList) FunName String Имя функции в формате Name/Arity, например "f/3", где 3 - число аргументов (местность) функции ArgList List Список аргументов применяемой функции Object Применяет функцию FunName к аргументам ArgList Значение функции на данных аргументах Число элементов списка ArgList должно совпадать с местностью функции foreach LambdaVar in EnumVar [<Флэнг-последовательность>] EnumVar Vector/List/Enumeration Перечисление, по которому проводится вычисление функции Vector Метафункция foreach последовательно выбирает значения перечисления EnumVar, присваивая очередное значение переменной LambdaVar, после чего вычисляет <Флэнг-последовательность>. Если вычисление Флэнг-последовательности закончилось успешно, то вычисленное значение добавляется в вектор-результат. Если закончилось неудачей, то для этого значения ничего в вектор-результат не добавляется. Вектор с вычисленными значениями Примеры вычислений. f(X) :- foreach Y in X [Y*Y]; Вычисление f([1,2,3,4,5])={1,4,9,16,25}. Функция getItems(XML) :- Enum::enumXML(XML), foreach El in Enum [El::xmlElem("item", A, C, NS), xmlElem("пункт", A, C, NS) # El::xmlElem("resource", _, _, _), El]; выбирает из xml-документа элементы с тегами item и resource и формирует из них вектор, причем заменяет тег item на тег пункт. Остальные элементы документа пропускаются. load(FlnFile) FlnFile файл загружаемая программа Boolean Загружает флэнг-программу. Если некоторые функции и предикаты были уже ранее определены, то новые правила из загружаемой программы для этих функций и предикатов дописываются в конец списка правил. true/fail reload(FlangProgramName) FlangProgramName String имя загружаемой флэнг-программы true Загружает флэнг программу. Для тех функций и предикатов, которые были определены (загружены) ранее, определение обновляется (ранее загруженные правила удаляются). Измененная база флэнг-система с добавленными правилами из программы. Определения для функций и предикатов, которые в программе не определены, остаются неизменными unload(FuncName) FuncName String Имя удаляемой функции или предиката в формате имя-функции/местность. Например "f/2" boolean Удаляет из базы флэнг-системы определение функции или предиката с данным именем и количеством аргументов. Если функция является встроенной или не определена, то выполнение заканчивается неудачей и возвращается fail. В случае успеха возвращается true. Обновленная база флэнг-системы trace(Instr, Value) Instr String параметр отладчика Value Object значение параметра отладчика Boolean Настраивает работу отладчика. всегда true Примеры: trace("level", X) - включение режима отладчика (X=0 - отключен, X=2 - тотальная выдача шагов вычислений, X=1 - выдача шагов для функций, помеченных "spy". trace("spy", "f/2") - двухаргументная функция f включается в список трассируемых функций. trace("statistics", 1) - включение режима статистики вычислений. trace("showxml", "xml") - вывод на консоль xml-термов в xml-виде. trace("showxml", "term") - вывод на консоль xml-термов в виде стандартных термов. exit(Code) Code Integer Код завершения работы Флэнг-системы Boolean Завершает работу флэнг-системы - addNS(URL, Prefix) URL String url добавляемого пространства имен Prefix String текущий префикс для данного пространства имен Integer Функция заводит новое пространство имен с URL и локальным префиксом Prefix возвращает внутренний номер данного пространства имен, через который может проводиться дальнейшая работа с данным пространством. Если данное пространство имен уже имеется, то возвращается его номер, при этом для этого пространства задается новый префикс getNSNumber(Url) Url Srting url пространства имен, для которого ищется номер. Integer Определяет внутренний номер пространства имен с url Url. Внутренний номер пространства имен Если пространство имен не определено, то возвращается -1 getNSUrl(N) N Integer номер, по которому находится URL пространства имен String Находит строку URL пространства имен с внутренним номером N Строка URL пространства имен если пространство имен с данным именем отсутствует, то возвращается null setNSPrefix(N, Prefix) N Integer номер пространства имен, у которого устанавливается префикс Prefix String устанавлеваемый префикс для пространства имен с данным номером String задает текущий префикс для данного пространства имен с номером N строка префикса, если его удалось установить, иначе null префикс должен соответствовать правилам построения имен в xml sToX(XmlText) XmlText String xml-документ в формате строки XML конвертирует XML-документ из строкового (текстового) представления в термальное (древовидное) Xml-документ в древовидном формате Действует аналогично readXML/1 isNS(URL) URL String строка URL пространства имен boolean проверяет, добавлено ли в систему пространство имен с url URL true, если данное пространство имен в системе определено, в противном случае fail getXName(XmlElem) XmlElem Term xml-элемент, у которого берется имя тега String Возвращает имя тега xml-элемента, являющегося аргументом функции Имя тега элемента getXAttrs(XmlElem) XmlElem Term xml-элемент, у которого берется таблица атрибутов Hash Возвращает таблицу аттрибутов xml-элемента (2-ой аргумент структуры xmlElem/4) Таблица атрибутов getXConts(XmlElem) XmlElem Term xml-элемент - структура с функтором xmlElem/4 List/Vector Возвращает содержимое xml-элемента Вектор или список, являющийся содержимым xml-элемента getXNS(XmlElem) XmlElem Term xml-элемент - структура с функтором xmlElem/4 Term Возвращает структуру xmlNS(...), содержащую информацию о пространстве имен данного элемента. Структура пространства имен getXText(Arg) Arg XMLterm/List/Vector xml-документ, список или вектор, у которого выбирается текстовая составляющая String собирает текстовые узлы своего аргумента - XML-документа, вектора, списка, - объединяя текстовые сегменты в единую строку. Строка, объединяющая текстовые узлы XML-документа getXText(XMLdoc, Xpath) XMLdoc Term xml-терм, в котором берется текст XPATH String xpath-условие на элемент терма XML, у которого берется текст String Ищет вершину XML-документа XMLdoc, удовлетворяющую условиям XPath. Если такая вершина найдена, у нее берется текстовая составляющая (конкатенация строковых подвершин), которая и является результатом работы функции. Если вершины, удовлетворяющей условиям, нет, то возвращается пустая строка "". Конкатенация строковых вершин подъэлемента XMLdoc, удовлетворяющего условиям Xpath getXNormText(XML) XML Term/String xml-документ, у которого выбирается текстовая составляющая String Собирает текстовые вершины документа в единую строку, представляя текст в нормализованном виде: пробельные символы (с кодом, меньшим или равным коду пробела - #0020) в начале и конце строки удаляются, внутри строки последовательности пробельных символов заменяются одним пробелом. Если аргумент является строкой, то функция нормализует ее. Нормализованная строка, собранная из текстовых вершин XML-документа IDREF eXML1 IDREF eXElem1 IDREF eXElem1 getXElem(XML, XPath) XML Term xml-терм, в котором ищется вершина, удовлетворяющая условиям XPath String условие на искомую вершину в формате XPATH Term Ищет в XML-терме вершину, удовлетворяющую условию, представленному в формате XPATH (второй аргумент). Возвращает первую найденную вершину, удовлетворяющую условиям. Если вершина не найдена, возвращается null. XML-вершина checkXElem(Xterm, Xpath) Xterm Term проверяемый XML-терм Xpath String условие проверки XML-терма Boolean проверяет, удовлетворяет ли Xterm условию Xpath (представленному в формате спецификации XPATH). Cчитается, что условие выполнено, если множество элементов Xterm, удовлетворяющих XPath непустое, то есть getXElem(Xterm, Xpath) != null. true, если Xterm удовлетворяет условию, fail в противном случае. getXAttr(XElem, Xattr) XElem Term xml-элемент, у которого берется значение аттрибута Xattr String имя аттрибута, значение которого берется Atom/Float/Integer/String Функция возвращает значение аттрибута элемента XElem с именем Xattr. Если аттрибут отсутствует, то возвращается атом null. Значение аттрибута или атом null. xDoc(Contents) Contents List/Vector содержимое xml-документа Term конструктор, порождающий xml-документ в термальном виде Флэнг-структура, моделирующая xml-вершину типа "документ" xElem(Name, Attrib, Contents, Namespace) Name String имя (тег) xml-элемента Attrib Hash hash-таблица атрибутов xml-элемента Contents List/Vector содержимое xml-элемента Namespace Integer номер пространства имен для данного xml-документа Term Конструирует структуру для xml-элемента с именем Name, атрибутами Attrib, содержимым Contents и пространством имен Namespace xComments(Comments) Comments String комментарии в xml-документе Term Конструктор, организующий узел комментариев в xml-документе xEntityRef(EntityRef) EntityRef String ссылка на сущность xml-документа Term Порождает структуру, моделирующую вершину CDATA xml-документа Ссылка на сущность &EntityRef; моделируется структурой xmlEntityRef("EntityRef") xCDATA(CDATA) CDATA String содержимое вершины CDATA xml-документа Term Порождает вершину xml-документа типа CDATA Вершина типа CDATA Запись <![CDATA[<greeting>Hello, world!</greeting>]]> в xml-документе моделируется структурой xmlCDATA("<greeting>Hello, world!</greeting>") xPI(Target, MapData, RawData) Target String цель - имя обработчика, для которого задана данная вершина xml-документа MapData Hash параметры инструкции в формате пар имя/значение RawData String параметры инструкции в формате произвольной строки Term Генерирует вершину, моделирующую узел xml-документа типа иструкция обработки (Processing Instruction) Узел xml-документа типа инструкции обработки Узел PI вида <?intruction a="b" cc?> моделируется структурой xPI("instruction", newHash(["a"="b"], "cc") xNS(Num, Additional) Num Integer номер пространства имен для текущего элемента Additional Hash пространства имен, определяемые в данном узле Term Структура формирует информацию о пространстве имен текущего элемента xml-документа. Дополнительные пространства имен формируются в виде хэш-таблицы в виде пар Номер-пространства-имен = Префикс. newFileReader(FileName) FileName String имя файла, открываемого для чтения Reader Функция пытается открыть файл для чтения, и если это удается - создает новый входящий поток, который и является результатом работы функции Входящий поток, соответствующий открытому для чтения файлу newFileReader(FileName, Encoding) FileName String имя файла, открываемого для чтения Encoding String имя кодировки символов файла Reader Функция пытается открыть файл для чтения в кодировке, указанной в Encoding, и если это удается - создает новый входящий поток, который и является результатом работы функции Входящий поток, соответствующий открытому для чтения файлу read() String Читает строку из стандартного входного потока (консоли) Строка из стандартного входного потока read(Input) Input Reader/String входящий поток String Если аргумент является входящим потоком (типа Reader), то из этого потока считывается очередной символ, код которого в виде целого числа и является результатом. Если функция возвращает -1, то это означает, что достигнут конец файла. Если Input является строкой, то функция интерпретирует его как имя файла для чтения. Она пытается открыть его, и если это удается, считывает содержимое файла в строку, которая и является результатом работы функции. В зависимости от аргумента: целое число (код символа) или строка, содержащая файл. readLine(File) File Reader Указатель файла, из которого читается строка String Считывает очередную строку из файла. Если строку больше нет, функция возвращает null Считанная строка newFileWriter(FileName) FileName String имя файла, открываемого для записи Writer Открывает файл с именем FileName для записи в кодировке символов, заданной по умолчанию, создает соответствующий выходной поток "Писатель", привязанный к файлу, открытому для записи newFileWriter(FileName, Encoding) FileName String имя файла, открываемого для записи Encoding String имя кодировки, в которой данные будут записываться в файл Writer Открывает файл для записи в кодировке символов Encoding. Создает соответствующий "писатель". "Писатель", привязанный к файлу, открытому для записи write(Expr) Expr Object выражение, значение которого выводится в стандартный выходной поток (как правило - консоль) Boolean Выводит значение своего аргумента в стандартный выходной поток (как правило, консоль) Всегда возвращает true write(Output, Expr) Output Writer/String выходной поток, куда выводится значение выражения Expr Object объект, выводимый в выходной поток, определяемый первым аргументом Boolean Выводит в выходной поток или файл значение выражения Expr. Если Output - строка, то она интерпретируется как имя файла. Функция пытается открыть файл с данным именем для записи и записать туда значение Expr в кодировке, принятой по умолчанию, после чего файл закрывается. Если Output является выходным потоком (тип Writer), то функция записывает значение Expr в буфер этого выходного потока. всегда возвращает true readXML(FileName) FileName String имя загружаемого файла Term Загружает xml-файл и конвертирует его в представление в виде XML-терма. Используется кодировка символов по умолчанию. XML-терм, представляющий загруженный файл. readXML(FileName, Encoding) FileName String имя загружаемого XML-файла Encoding String имя кодировки, в которой находится файл Term Загружает xml-файл, используя кодировку символов Encoding, и конвертирует его в представление в виде XML-терма. XML-терм, представляющий загруженный файл. writeXML(FileName, XMLterm, Encoding) FileName String имя файла, куда производится запись XMLterm Term записываемый XML-документ в виде XML-терма Encoding String имя кодировки, в которой будет производится запись Boolean Записывает XML-документ, представленный в виде XML-терма в файл FileName, используя кодировку с именем Encoding Всегда возвращается true readHTML(FileName) FileName String имя загружаемого файла Term Загружает HTML-файл и конвертирует его в представление в виде XML-терма. Используется кодировка символов по умолчанию. XML-терм, представляющий загруженный HTML-файл. readXML(FileName, Encoding) FileName String имя загружаемого HTML-файла Encoding String имя кодировки, в которой находится файл Term Загружает HTML-файл, используя кодировку символов Encoding, и конвертирует его в представление в виде XML-терма. XML-терм, представляющий загруженный HTML-файл. writeXML(FileName, XMLterm, Encoding) FileName String имя файла, куда производится запись XMLterm Term записываемый XML-документ в виде XML-терма Encoding String имя кодировки, в которой будет производится запись Boolean Записывает XML-документ, представленный в виде XML-терма в формате HTML-файла, используя кодировку с именем Encoding Всегда возвращается true close(Stream) Stream Writer/Reader закрываемый поток Boolean Закрывает поток, открытый для чтения/записи Всегда true flush(Writer) Writer Writer выходной поток Boolean Выбрасывает из буфера в выходной поток накопленные применением функции write/2 данные всегда true mkDir(Path) Path String Путь создаваемой директории String Создает директорию по относительному или абсолютному пути Path Абсолютный путь до созданной директории nl() String Возвращает строку с набором символов, определяющих в данной системе перевод строки Строка defaultEnc(Enc) Enc String имя кодировки, задаваемой по умолчанию String Задает, какая кодировка символов будет использоваться по умолчанию функциями ввода-вывода Возвращает имя новой кодировки по умолчанию В текущей версии поддерживаются следующие варианты: "windows-1251", "utf-8", "Cp866". Для данных кодировок можно использовать сокращения - "w", "u" и "a", соответственно. ! Boolean отсекает в стеке вычисления все точки выбора, находящиеся ниже элемента стека, соответствующего данной функции true/fail fail Boolean тождественно ложная функция, при вычислении инициирует процедуру возврата fail Seq1 ## Seq2 Seq1 Sequence Первая альтернатива дизъюнкции Seq2 Sequence Вторая альтернатива дизъюнкции Object Происходит попытка вычислить последовательность Seq1. Если это приводит к неудаче, происходит попытка вычислить Seq2. Значением дизъюнкции является значение первой удачно вычисленной последовательности. Если к удаче привело вычисление Seq1, то ставится точка возврата и если выполнение вычислений в дальнейшим приводит к fail, то система возвращается ко второй альтернативе. Пример - факториал f(X) :- X==0, 1 ## X>>0, X*f(X-1); Значение первой удачно вычисленной последовательнойти. Fail, если вычисление всех альтернатив привело к неудаче. stop(Message) Message Object сообщение Boolean Останавливает процесс вычисления запроса, выдавая в стандартный выходной поток сообщение Message