SWI-Prolog -- abolish/2

Places
- Home
- Graphs
- Prefixes
Admin
- Users
- Settings
- Plugins
- Statistics
CPACK
Repository
Query
Help
Login

4.14.1 Managing (dynamic) predicates

All Application Manual Name SummaryHelp

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.

ClioPatria (version V3.1.1-51-ga0b30a5)