eraseall/1¶

"eraseall(+ K" )

All terms belonging to the key K are erased from the internal database. The predicate always succeeds.