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.