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

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

create_world(+World_name)

Создает новый мир с заданным именем.

ctr_dec(+Ctr,-X)

Уменьшает значение счетчика Ctr на 1 и возвращает его значение X до уменьшения.

ctr_inc(+Ctr,-X)

Увеличивает значение счетчика Ctr на 1 и возвращает его значение X до увеличения.

ctr_is(+Ctr,-X)

Возвращает текущее значение X счетчика Ctr.

ctr_set(+Ctr,+X)

Устанавливает новое значение X счетчика Ctr.

current_op(?Prec,?Assoc,?Op)

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

current_predicate(?Predicate)

Возвращает через отказ от ответа предикаты, содержащиеся в текущем кодовом мире. Аргумент Predicate может не быть свободной переменной и в этом случае быть либо именем предиката, либо его именем и арностью в виде name/arity.

D

data_world(?Old,?New)

Унифицирует имя текущего мира данных с Old и затем делает текущим миром данных New.

date(?date(Year,Month,Day))

Устанавливает системные часы к заданной дате или возвращает текущую дату.

date_day(+date(Year,Month,Day),-WeekDay)

Возвращает день недели заданной даты как целое число между 0 (воскресенье) и 6 (суббота).

dbPartition(-OldPartition,+NewPartition)

Возвращает и устанавливает сегмент базы данных, используемый по умолчанию.

dbsLen(+Term,-Len)

Возвращает длину в байтах строки, которая была бы создана с использованием term2dbs/2 или term2dbcs/4.

debug

debug(+File)

Включает отладчик, изначально переведя его в режим leep. Если задан аргумент File, тогда создается указанный файл и в него производится эхопечать вывода отладчика.

debugger

Обеспечивает отладочную статистику по текущему режиму отладки и отслеживаемым предикатам.

dec(+N,-X)

Уменьшает на 1 целое число N и возвращает в X результат.

defineb(+BTree,+SplitSize,+Uniqueness,+Order)

defineb(+BTree,+SplitSize,+Uniqueness,+Order,+Case)

Задает атрибуты b-дерева.

defineh(+Table_Name,+HashBuckets)

Задает количество корзин хеширования HashBuckets, которое нужно использовать в хеш-таблице Table_Name.

delete(+Filename)

Удаляет заданный файл.

delete_world(+World_name)

Удаляет мир с заданным именем World_name.

directory(+Path,-Name,-Mode,-Time,-Date,-Size)

Возвращает файлы директории Path. Режим Mode является суммой любого сочетания элементов из следующего набора:

ü  1 – только на чтение (read only);

ü  2 – скрытые (hidden);

ü  4 – исключить системные файлы;

ü  16 – директории;

ü  32 – архивные.

disk(?DiskName)

Устанавливает или возвращает имя (из одной буквы) логического диска, который используется по умолчанию. При установке не используйте двоеточие с именем диска DiskName.

display(+Term)

display(+Handle,+Term)

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

E

eq(?X,?Y)

Определяет, являются ли X и Y одним и тем же объектом данных.

erase(+Ref)

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

eraseall(+Key)

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

errcode(-OldCode,+NewCode)

Возвращает код сообщения OldCode о самой последней синтаксической ошибке или ошибке ввода/вывода и устанавливает хранящийся код в новое значение NewCode.

expand_term(+Term,-Newterm)

Преобразует терм, построенный согласно системе обозначений DCG-грамматики, в эквивалентный ему терм Пролога.

expunge

Удаляет системные ссылки на удаленные термы базы данных.

F

fail

Эта цель никогда не согласуется.

file_list(+Filename)

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

file_list(+Filename,+Name/Arity)

Сохраняет фразы с заданным именем и арностью Name/Arity в файл с именем Filename.

fileerrors(?Old,?New)

Разрешает или запрещает сообщения об ошибках ввода/вывода или возвращает текущую установку этого флага. Для того чтобы разрешить сообщения, установите New в on, в противном случае установите New в off.

findall(?Term,+Goal,-List)

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

Скачать файл