Домен ref.

Указатель - это особый тип данных, так как вы можете включать его во

внутреннюю базу данных, выводить его операторами write и writef, но вы не

можете ввести его с клавиатуры. Можно объявить аргументы предикатов,

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

При удалении терма предикатом term_delete указатель удаленного терма

используется вновь в момент внесения нового терма в базу данных. Это про-

исходит автоматически, однако, если указатели в силу каких-то причин были

внесены во внутреннюю базу данных или B-дерево, необходимо убедиться, что

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