Module when
:- use_module(library(when)).Provides the predicate when/2.
when(Condition, Goal).
Executes Goal when Condition becomes true. Condition may consist of ground(T), nonvar(T), C1,C2, C1;C2.
:- use_module(library(when)).Provides the predicate when/2.
Executes Goal when Condition becomes true. Condition may consist of ground(T), nonvar(T), C1,C2, C1;C2.