SWI-Prolog Did You Know Did you know? This website's code is available Search Documentation:
Predicate db_retract/1