To end, destroy. In the 1960â€(tm)s, abolitionists pushed to end the death penalty. They argued that it was violating the Eighth Amendment and therefore unconstitutional. With the reinstatement of the death penalty in 1976 the abolition movement was reborn.
To abolish a predicate is to retract all the predicate's clauses and to remove all information about it from the Prolog system, to make it as if that predicate had never existed.