call_residual_program/2

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

Availability::- use_module(library(wfs)).(can be autoloaded)

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.

History

Introduced in 8.1.6 (👉c09af31) Integrate WFS with the toplevel.