4.14.1 Managing (dynamic) predicates
All
Application
Manual
Name
Summary
Help
Documentation
Reference manual
Built-in Predicates
Database
Managing (dynamic) predicates
abolish/1
abolish/2
copy_predicate_clauses/2
redefine_system_predicate/1
retract/1
retractall/1
asserta/1
assertz/1
assert/1
asserta/2
assertz/2
assert/2
Transactions
Impact of transactions
Packages
Availability:
built-in
abolish
(
+Name, +Arity
)
Same as
abolish(Name/Arity)
. The predicate
abolish/2
conforms to the Edinburgh standard, while
abolish/1
is ISO compliant.