Обновление внутренней базы данных

Для того, чтобы ввести в программу факты, существует три основных

способа:

- включение фактов в состав вашей секции clauses;

- во время выполнения программы с помощью пердикатов asserta и

assertz;

- путем загрузки файла с фактами базы данных с помощью предиката

consult.

Все стандартные предикаты Турбо Пролога: asserta, assertz, retract,

retractall, consult и save могут иметь один или два агрумента. Необяза-

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

опишем эти предикаты далее. Обозначение "/1" и "/2" после каждого имени

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

ката. Комментарии после форматов (такие как /* (i) */ и /* (o,i) */ ) по-

казывают поток параметров для этого предиката.