call_residual_program/2

Documentation
- Reference manual
  - Tabled execution (SLG resolution)
    - Well Founded Semantics
- Packages

call_residual_program(:Goal, -Program)

True when Goal is an answer according to the Well Founded Semantics. If Program is the empty list, Goal is unconditionally true. Otherwise this is a program as described by delays_residual_program/2.