SWI-Prolog -- assertz/1

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
- Packages

Availability:built-in

[ISO]assertz(+Term)

Equivalent to asserta/1, but Term is asserted as the last clause or fact of the predicate.