Книга: ПРОГРАММИРОВАНИЕ НА ЯЗЫКЕ ПРОЛОГ

asserta(X), assertz(X)

Два встроенных предиката asserta и assertz позволяют добавлять новые утверждения в базу данных. Оба предиката действуют в точности одинаковым образом, за тем исключением, что asserta добавляет утверждение в начало базы данных, в то время как assertz добавляет утверждение в ее конец. Это отличие можно легко запомнить, учитывая, что «а» является первой буквой английского алфавита, a «z» его последняя буква. При выполнении целевого утверждения asserta(X), X должно иметь значением нечто, что можно представлять как утверждение; действительно, как и в случае clause, X должно быть достаточно конкретизировано, чтобы можно было установить главный предикат. Необходимо подчеркнуть, что результат добавления в базу данных утверждения не устраняется при выполнении возврата. Следовательно, если мы использовали предикат asserta или assertz для того, чтобы добавить новое утверждение, то это утверждение может быть удалено только в случае, если мы явно укажем это (используя предикат retract).

Оглавление книги