Document when/2 Condition

2025-05-18 16:46:28 -05:00
parent c790bbfce9
commit e40125ff3a
1 changed files with 1 additions and 0 deletions
--- a/src/lib/when.pl
+++ b/src/lib/when.pl
@@ -19,6 +19,7 @@ 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`.
 when(Condition, Goal) :-
    (   when_condition(Condition) ->
        (   Condition ->