Delaying

Delaying has become a mechanism common to logic, functional logic, constraint logic, and concurrent logic programming languages. It relaxes the strict left-to-right computation rule adopted in Prolog and enables the execution of some predicate calls to be delayed until some variables in them are instantiated. B-Prolog provides the user with a powerful construct, called delay clauses, for specifying delaying.