Какой предикат языка программирования Prolog позволяет удалить указанное правило из базы данных программы в процессе ее выполнения?