current_transaction/1

Documentation
- Reference manual
  - Built-in Predicates
    - Database
      - Managing (dynamic) predicates
        
        Transactions
        
        transaction/1
        
        transaction/2
        
        transaction/3
        
        snapshot/1
        
        current_transaction/1
        
        transaction_updates/1
- Packages

Availability:built-in

[nondet]current_transaction(-Goal)

True when called inside a transaction running Goal. This predicate generates candidates from the current (nested) transaction outward. Goal is a plain goal if the calling context module is the same as matching transaction/1 or snapshot/1 and a qualified callable term otherwise. Note that this only enumerates transactions in the current thread.

History

Introduced in 8.3.4 (👉5716ac3) current_transaction/1 to test whether a goal is running inside a transaction.