Описание тега prolog-assert
Prolog-assert глобально влияет на хранимую информацию в Prolog, языке логического программирования общего назначения.
Источник: http://alumni.cs.ucr.edu/~vladimir/cs171/prolog_2.pdf
Prolog assert(X) Добавляет новый факт или предложение в базу данных. Термин утверждается как последний факт или предложение с тем же ключевым предикатом.