Skip to main content
Version: v11.0.0

abolish/1

Description

abolish/1 is a predicate that abolishes a predicate from the database. Removes all clauses of the predicate designated by given predicate indicator Name/Arity.

Signature

abolish(+PredicateIndicator)

Where:

  • PredicateIndicator is the indicator of the predicate to abolish.