Six low-level4primitives def/3, set/3, val/3, rm/2, copy_term/2, save_term/2 are used in BinProlog 3.30 to fully replace assert and retract while keeping distinct their overloaded naming and copying function.