возвращает параметры базы данных, связанной с буфером Db
NoOfTerms -
количество фактов в базе,
MemSize -
размер буфера,
DbaSize -
размер базы данных,
FreeSize -
объем свободной области.
chain_inserta(Db, Chain, Dom, Term, Ref)
(db_selector, string, symbol, <Domain>, ref)
(i, i, i, i, o) -
заносит в начало базы данных, связанной с буфером Db в цепочку Chain предикат Term, описанный как домен Dom, возвращает ссылочное число Ref.
chain_insertz(Db, Chain, Dom, Term, Ref)
(db_selector, string, symbol, <Domain>, ref)
(i, i, i, i, o) -
заносит в конец базы данных, связанной с буфером Db в цепочку Chain предикат Term, описанный как домен Dom, возвращает ссылочное число Ref.
chain_insertafter(Db, Dom, Ref, Term, NewRef)
(db_selector, symbol, ref,<Domain>, ref)
(i, i, i, i, o) -
заносит в базу данных, связанную с буфером Db предикат Term, описанный как домен Dom, располагая его после факта со ссылочным числом Ref в той же цепочке; возвращает ссылочное число новой записи NewRef.
chain_delete(Db, Chain)
(db_selector, string)
(i, i) -
удаляет пустую цепочку фактов из базы данных, связанной с буфером Db. Заканчивается неудачей при попытке удалить непустую цепочку.
nondeterm chain_terms(Db, Chain, Dom, Term, Ref)
(db_selector, string, symbol, <Domain>, ref)
(i, i, i, _, o) -
возвращает неизвестные параметры факта, имеющего описание Dom, удовлетворяющего шаблону Term и хранящегося в цепочке Chain базы данных, связанной с буфером Db.
chain_first(Db, Chain, FirstRef)
(db_selector, string, ref)
(i, i, o) -
возвращает ссылку на первый факт в цепочке Chain базы данных связанной с буфером Db.
chain_last(Db, Chain, LastRef)
(db_selector, string, ref)
(i, i, o) -
возвращает ссылку на последний факт в цепочке Chain базы данных связанной с буфером Db.
chain_next(Db, Ref, NextRef)
(db_selector, ref, ref)
(i, i, o) -
возвращает ссылку на запись расположенную после факта со ссылочным числом Ref в той же цепочке базы данных, связанной с буфером Db.
chain_prev(Db, Ref, PrevRef)
(db_selector, ref, ref)
(i, i, o) -
возвращает ссылку на запись расположенную перед фактом со ссылочным числом Ref в той же цепочке базы данных, связанной с буфером Db.
term_delete(Db, Chain, Ref)
(db_selector, string, ref)
(i, i, i) -
удаляет из цепочки Chain базы данных, связанной с буфером Db, факт со ссылочным числом Ref.
term_replace(Db, Dom, Ref, NewTerm)
(db_selector, symbol, ref, <Domain>)
(i, i, i, i) -
заменяет в базе данных, связанной с буфером Db запись, имеющую ссылочное число Ref на факт NewTerm с описанием Dom.
ref_term(Db, Dom, Ref, Term)
(db_selector, symbol, ref, <Domain>)
(i, i, i, _) -
возвращает неизвестные параметры факта, имеющего описание Dom, удовлетворяющего шаблону Term и имеющего ссылочное число Ref в базе данных, связанной с буфером Db.
создает дерево ссылок BtName в базе данных связанной с буфером Db и возвращает идентификатор его буфера. KeyLen– количество значимых символов в ключе при сортировке, Order– длина узла дерева ссылок.
bt_open(Db, BtName, Bt)
(db_selector, string, bt_selector)
(i, i, o) -
открывает дерево ссылок BtName в базе данных связанной с буфером Db и возвращает идентификатор отведенного для него буфера.