Специальные предикаты.

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

не переопределяйте эти имена в вашей программе:

assert chain_terms format vetvactall

asserta consult free save

asserta db_btvees not tevm_veplace

bound db_chains readterm trap

chain_inserta fail ref_term write

chain_insertafter findall retract writef

chain_insertz