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

Разбирает имя файла на компоненты его пути: префикс, имя и расширение. HasExt – признак наличия расширения и может быть равен 121 или 110 (ASCII-коды символов y и n).

pref(+Ref,-Prev)

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

put(+Char)

put(+Handle,+Char)

Выводит символ на стандартное устройство вывода или файл с дескриптором Handle.

R

randomize(+Seed)

Переустанавливает генератор случайных чисел. Аргумент Seed является целым числом.

read(-Term)

read(+Handle,-Term)

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

read_ascib(+Handle,+Text)

Считывает текстовое поле из файла с дескриптором Handle; длина поля указывается в первом байте, считываемом из файла.

read_asciw(+Handle,+Text)

Считывает текстовое поле из файла с дескриптором Handle; длина поля указывается в первом слове (16 битах) считываемых, из файла.

read_asciz(+Handle,+Text)

Считывает «заканчивающееся нулем» текстовое поле из файла с дескриптором Handle.

read_asciz_field(+Handle,+Width,+Text)

Считывает «заканчивающееся нулем» текстовое поле заданной ширины из файла с дескриптором Handle.

read_float(+Handle,+Float)

Считывает следующие 8 байт из файла с дескриптором Handle как вещественное число.

read_int8(+Handle,+Integer)

Считывает следующие 8 бит из файла с дескриптором Handle как целое число.

read_int16(+Handle,+Integer)

Считывает следующие 16 бит из файла с дескриптором Handle как целое число.

read_int32(+Handle,+Integer)

Считывает следующие 32 бита из файла с дескриптором Handle как целое число.

read_line(+Handle,-Line)

Считывает строку файла с дескриптором Handle.

read_string(+MaxLength,-String)

read_string(+Handle,+MaxLength,-String)

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

reconsult(+Filename)

Считывает фразы в базу знаний из файла, заменяя любые предикаты, уже представленные в базе знаний, набором фраз, обнаруженным в файле.

record_after(+Ref,?Term,-Newref)

Добавляет терм в цепочку после терма с ссылочным номером Ref и возвращает ссылочный номер, присвоенный добавленному терму.

record_before(+Ref,?Term,-Newref)

Добавляет терм в цепочку до терма с ссылочным номером Ref и возвращает ссылочный номер присвоенный добавленному терму.

record_visi(+Goal,+Type,+Offset)

Обеспечивает низкоуровневый доступ к таблице видимости. Type может иметь следующие значения: 1 – prolog, 2 – eval, 3 – evalpost, а Offset – это адрес предиката. Для того чтобы удалить определение видимости, установите Type=0.

recorda(+Key,?Term,-Ref)

Вставляет терм в начало цепочки термов и возвращает ссылочный номер, назначенный добавленному терму.

recordb(+BTree,+Sort_Key,+Term)

Записывает терм в b-дерево.

recorded(+Key,?Term,-Ref)

Возвращает через поиск с возратом термы и связанные с ними ссылочные номера, хранящиеся под заданным ключом.

recorded(+Key,+Dir,?Term,-Ref)

Возвращает через поиск с возратом термы и связанные с ними ссылочные номера, хранящиеся под заданным ключом. Порядок поиска задается с помощью аргумента Dir: 1 – прямой; 0 – обратный.

recorded_nth(+Key,+N,-Term,-Ref)

Возвращает N-ый терм, хранящийся под ключом базы данных, и связанный с ним ссылочный номер.

recorded_ref(+Ref,+Dir,?Term,-Ref)

Возвращает через поиск с возвратом термы и связанные с ними ссылочные номера, хранящиеся до или после терма с указанным ссылочным номером. Порядок поиска задается с помощью аргумента Dir: 1 – прямой; 0 – обратный.

recorded_terms(+Key,?Match,-Terms)

Возвращает в списке все термы, хранящиеся под ключом, которые унифицируются с термом Match.

recorded_tro(+Key,?Term,-Ref)

Возвращает через поиск с возратом термы и связанные с ними ссылочные номера, хранящиеся под заданным ключом. Предикат recorded_tro использует оптимизацию остаточной рекурсии и, следовательно, может быть более эффективным, чем предикат recorded.

recordh(+Table_name,+Sort_key,+Term)

Записывает терм в хэш-таблицу.

recordz(+Key,?Term,-Ref)

Вставляет терм в конец цепочки термов и возвращает ссылочный номер, назначенный добавленному терму.