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