Информатика и выч. техника \ Логическое программирование

Сборник задач по курсу «Логическое программирование»: Учебное пособие, страница 16

set_bits(+OldInt,+Mask,+Data,-NewInt)

Устанавливает в целом числе набор битов, заданный маской Mask, в значения, указанные в аргументе Data.

set_cursor(+Low_scan,+High_scan)

Изменяет форму курсора так, как это задано аргументами Low_scan и  High_scan.

set_cursorshape(+Shape)

Позволяет изменить форму курсора к одному из четырех вариантов: 0 – скрытый курсор, 1 – прямоугольник (█), 2 – половина прямоугольника (▄) или 3 – знак подчеркивания (_).

setof(?Term,+Goal,-Set)

Собирает все экземпляры терма Term, при которых согласуется цель Goal, и возвращает их в виде упорядоченного списка без дубликатов (Set).

setup_editor(+Bkgrnd,+Border,+Status,+ROE,+SOE,+Indent)

Изменяет цвета и другие установки редактора Arity/Prolog32.

shell

Позволяет выполнить команды операционной системы из интерпретатора команд. Для возврата в программу (интерпретатор) введите exit. Этот предикат всегда согласуется.

shell(+Command)

Выполняет команду операционной системы и согласуется.

skip(+Char)

skip(+Handle,+Char)

Считывает и пропускает символы со стандартного устройства ввода или файла с дескриптором Handle до тех пор, пока не будет обнаружен символ Char.

sort(+L1,-L2)

Сортирует список L1 по возрастанию, удаляя дубликаты, и возвращает отсортированный список в L2.

sortkey(+Key)

Сортирует термы хранящиеся под ключом базы данных.

spy(+Name)

spy(+Name/Arity)

Специфицирует предикат как точку слежения при отладке.

statistics

Показывает окно, которое демонстрирует всю статистику по использованию системы Arity/Prolog32.

statistics(+Info,-Struct)

Возвращает информацию об использовании системы интерпретатором Arity/Prolog32. Аргумент Info может быть стеком базы данных, локальным стеком, глобальным стеком, trail-стеком, корзиной мусора, версией, edb, кэшем.

stdin(+Filename,+Goal)

Делает указанный файл стандартным устройством ввода при доказательстве указанной цели.

stdinout(+InFile,+OutFile,+Goal)

Делает указанные файлы стандартными устройствами ввода и вывода при доказательстве указанной цели.

stdout(+Filename,+Goal)

Делает указанный файл стандартным устройством вывода при доказательстве указанной цели.

string(?X)

Согласуется, если X является строкой.

string_length(+String,?Length)

Возвращает длину строки. Если Length является целым числом, то согласуется, если это длина строки String.

string_lower(+Text,-Lower)

Преобразует текст Text к эквивалентной строке в нижнем регистре.

string_search(+SubString,+String,-Location)

Производит поиск подстроки в строке и возвращает (в случае успеха) начальную позицию найденного вхождения в аргументе Location. Location является смещением (начиная с 0). Этот предикат недетерминированный.

string_search(+Case,+SubString,+String,-Location)

Производит поиск подстроки в строке и возвращает (в случае успеха) начальную позицию найденного вхождения в аргументе Location. Location является смещением (начиная с 0). Этот предикат недетерминированный. Если Case установлен в 0, поиск ведется с учетом регистра. Если Case установлен в 1, поиск ведется без учета регистра.

string_term(?String,?Term)

Преобразует строку или атом в терм или терм в строку.

string_termq(?/+Quotestring,?/+Term)

Версия string_term, которая работает подобно writeq.

string_upper(+Text,-Lower)

Преобразует текст Text к эквивалентной строке в верхнем регистре.

substring(+InString,+N,+Length,-OutString)

Извлекает подстроку из строки. Аргумент N задает начало подстроки (символы строки нумеруются начиная с 0). Аргумент Length задает длину подстроки.

syntaxerrors(?Old,?New)

Позволяет или запрещает сообщения об ошибках синтаксиса Arity/Prolog32 или возвращает текущую установку для этих сообщений.

system(?Predicate)

Определяет, является ли предикат Predicate вычисляемым (системным, не интерпретируемым, «evaluable») предикатом. Если аргумент Predicate не является свободной переменной, то он может быть либо именем предиката, либо парой имя/арность.

system(?Predicate,-Old,+New)

Позволяет вам задавать свойство «видимость» указанного предиката, делая предикат либо видимым, либо нет. Значение on означает, что видимость предиката запрещена.

Скачать файл