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

ref(?X)

Согласуется, если X является ссылочным номером базы данных.

refPartition(+Ref,-Partition)

Возвращает раздел (partition) базы данных, в котором хранится терм с указанным ссылочным номером.

removeallb(+BTree)

Удаляет b-дерево.

removeallh(+Table_name)

Удаляет хэш-таблицу.

removeb(+BTree,+Sort_key,?Term)

Удаляет терм из b-дерева. Если Term является свободной переменной, тогда удаляется первый терм под Sort_key.

removeb(+BTree,+Sort_key)

Удаляет все термы из b-дерева, которые связаны с указанным Sort_key.

removeh(+Table_name,+Sort_key,?Term)

Удаляет терм из хэш-таблицы. Если Term является свободной переменной, тогда удаляется первый терм под Sort_key.

rename(+Filename,+NewName)

Изменяет имя файла.

repeat

Всегда согласуется (в том числе и тогда, когда обнаруживается в ходе поиска с возвратом).

replace(+Ref,+Term)

replace(+Ref,+Term,-NewRef)

Заменяет терм, имеющий указанный ссылочный номер, термом, заданным в аргументе Term. В версии с тремя аргументами, NewRef будет тем же самым что и Ref до тех пор, пока не потребуется сменить страницу базы данных. В этом случае NewRef будет новым ссылочным номером, принадлежащим новой странице.

replaceb(+BTree,+Sort_key,+Old_term,+New_term)

Заменяет терм, хранящийся в указанной позиции в b-дереве.

replaceh(+Hashtable,+Key,?Term0,+Term)

Если Term0 хранится в хэш-таблице под заданным ключом, то он заменяется термом Term.

reset_op

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

resetspy

Очищает все точки слежения.

restore

Отменяет все изменения, сделанные в базе данных с тех пор, как она была сохранена в последний раз.

restore(+Name)

Восстанавливает базу данных, заданную именем Name.

retract(+Clause)

Удаляет первое вхождение указанной фразы из базы данных.

retrieveb(+BTree,?Sort_key,?Term)

Возвращает терм из b-дерева.

retrieveb_keys(+BTree,-Keys)

Возвращает все ключи Keys из b-дерева в  виде списка.

retrieveb_nth(+BTree,+N,-Sort_key)

Возвращает N-ый ключ из b-дерева.

retrieveb_terms(+BTree,-Terms)

Возвращает все термы Terms из b-дерева в виде списка.

retrieveb_terms(+BTree,+Sort_key,-Terms)

Возвращает все термы Terms, связанные с указанным Sort_key, из b-дерева в виде списка.

retrieveh(+Table_name,?Sort_key,?Term)

Возвращает терм из хэш-таблицы.

rmdir(+Path)

Удаляет директорию.

S

save

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

save(+Name)

Сохраняет внутреннюю базу данных в файл с заданным именем Name.

scan_code(+Ascii,-Scan)

Возвращает Scan-код, связанный с кодом Ascii.

screen_height(?/+Old,?/+New)

Позволяет изменить высоту экрана (в строках) к одному из возможных значений – 25, 43 (как EGA, так и VGA), или 50 (только VGA).

searchPath(+PathSpec,+FileSpec,+Flags, -/+CompleteFileSpec)

Позволяет производить поиск файла на диске. Аргумент PathSpec указывает как следует искать. Если Вы хотите узнать значение переменной окружения, вам нужно установить второй бит флага. Имеют значение следующие биты флага Flag: 1 – поиск в текущей директории; 2 –  PathSpec является переменной окружения; 4 – поиск директории, содержащей EXE-файл приложения.

see(+Filename)

Открывает файл для чтения и делает его текущим устройством ввода.

see_h(+Handle)

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

seeing(?Filename)

Возвращает имя файла, который был открыт на чтение с помощью предиката see. Если использовался предикат see_h, то цель seeing не согласуется.

seek(+Handle,+Offset,+Method,-NewLoc)

Перемещает внутренний указатель файла к указанной позиции в файле. Аргумент Offset представляет собой относительную позицию внутри файла в байтах. Method указывает стартовую точку от которой вычисляется смещение Offset, и может быть: bof – началом файла; eof – концом файла или current – текущей позицией.

seen

Завершает ввод из текущего открытого файла и закрывает файл.

set_bit(+Bit,+NewValue,+OldInt,-NewInt,-OldValue)

Устанавливает значение бита в целом числе, возвращая новое целое число и старое значение бита.