Did you know ... Search Documentation:
Predicate call_residual_program/2
Availability::- use_module(library(wfs)).(can be autoloaded)
Sourcecall_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.
Tags are associated to your profile if you are logged in
Tags: