splay_del/4¶

splay_del(+ Item,+ Tree,- NewTree)*

Delete item Key from tree Tree, assuming that it is present already. The variable Val unifies with a value for key Key, and the variable NewTree unifies with the new tree. The predicate will fail if Key is not present.