call_residual_program/2

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.