SWI-Prolog -- API-function PL_next

Documentation
- Reference manual
  - Foreign Language Interface
    - The Foreign Include File
      - Calling Prolog from C
        
        Initiating a query from C
        
        PL_open_query()
        
        PL_next_solution()
        
        PL_cut_query()
        
        PL_close_query()
        
        PL_current_query()
        
        PL_call_predicate()
        
        PL_call()
- Packages

Availability:C-language interface function

int PL_next_solution(qid_t qid)

Generate the first (next) solution for the given query. The return value is TRUE if a solution was found, or FALSE to indicate the query could not be proven. This function may be called repeatedly until it fails to generate all solutions to the query.