Глава 9. Внутренняя база данных турбо пролога

В этой главе мы опишем, как нужно объявлять секции database и как

можно изменить содержание вашей внутренней базы данных.

Внутренняя база данных состоит из фактов, которые вы можете непос-

редственно добавлять и удалять из вашей программы на Турбо Прологе во

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

базу данных в секции database вашей программы и использовать эти предика-

ты таким же образом, как используются предикаты, описанные в секции

predicates.

Для добавления новых фактов в базу данных в Турбо Прологе использу-

ются предикаты asserta и assertz, а предикаты retract и retractall служат

для удаления существующих фактов. Вы можете изменить содержание вашей ба-

зы данных, сначала удалив факт, а потом вставив новую версию этого факта

(или совершенно другой факт). Предикат consult считывает факты из файла и

добавляет их к внутренней базе данных, а save сохраняет содержимое внут-

ренней секции database в файле.