SWI-Prolog -- answer_count

Documentation
- Reference manual
  - Tabled execution (SLG resolution)
    - Tabling restraints: bounded rationality and tripwires
      - Restraint answer count
        
        answer_count_restraint/0
- Packages

Availability:built-in

This predicate is undefined in the sense of well founded semantics (see section 7.6 and undefined/0). Any answer that depends on this condition is undefined because the max_answers restraint on some table was violated.

History

Introduced in 8.1.22 (👉371be27) Partial support for tabling restraints. Currrently deals with max_answers(Count) and provides the tabling options and Prolog flags to deal with _radial restraints_.