Программирование на языке Турбо-Пролог 2.0. Николаев В.Г - 33 стр.

UptoLike

- 33 -
asserta(Term) (InternalDatabaseDomain) - (i)
Добавление факта Term в начало базы данных.
assertz(Term) (InternalDatabaseDomain) - (i)
Добавление факта Term в конец базы данных.
nondeterm retract(Term) (InternalDatabaseDomain) - (_)
Удаление из базы данных, объявленной без имени, первого фак-
та, который отождествляется с заданным термом Term.
nondeterm retract(Term,InternalDbaseName)
(InternalDatabaseDomain,DatabaseName) - (_,i)
Удаление из базы данных, объявленной с именем DatabaseName,
первого факта, который отождествляется с заданным термом Term.
retractall(_,InternalDbaseName) (_,DatabaseName) - (_,i)
Удаление всех термов во внутренней базе данных с указанным
именем InternalDbaseName.
retractall(Term) (InternalDatabaseDomain) - (_)
Удаление всех термов вида Term во внутренней базе данных без
имени. Выполняется как retract-fail комбинация; без аргументов.
Всегда истенен.
2.8.2 Внешняя база данных ( EXTERNAL DATABASE SYSTEM )
Каждая БД имеет уникальное имя, которое называется селекто-
ром БД (db-selector). БД состоит из записей - цепочек (chain).
Каждая запись или цепочка определяется одним или несколькими клю-
чами (key).
Каждое дерево в Прологе имеет уникальное имя, которое имеет
специальный тип - селектор В-деpева (bt-selector). Элементами
В-дерева являются ключи.
В системе Пролог допустимо в одной БД хранить цепочки разных
типов, отличающиеся по имени отношения и по набору атрибутов. Тип
цепочки внешней БД задается с помощью терма. Обычно на месте
функтора терма стоит тип объекта, а аргументами терма являются
характеристики объекта.