Module when
:- use_module(library(when)).Provides the predicate when/2.
when(Condition, Goal).
Executes Goal when Condition becomes true.
:- use_module(library(when)).Provides the predicate when/2.
Executes Goal when Condition becomes true.