radial_restraint/0

Documentation
- Reference manual
  - Tabled execution (SLG resolution)
    - Tabling restraints: bounded rationality and tripwires
- 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 either the restraint on the subgoal size or answer size 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_.