SWI-Prolog -- API-function PL_fail

Documentation
- Reference manual
  - Foreign Language Interface
    - The Foreign Include File
      - Argument Passing and Control
        
        PL_succeed()
        
        PL_fail()
        
        Non-deterministic Foreign Predicates
- Packages

Availability:C-language interface function

(return) foreign_t PL_fail()

Fail and start Prolog backtracking. PL_fail is defined as return FALSE.