SWI-Prolog -- API-function PL_succeed

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

Availability:C-language interface function

(return) foreign_t PL_succeed()

Succeed deterministically. PL_succeed is defined as return TRUE.