Merge pull request #2961 from rotu/patch-5

Document `when/2` Condition
2025-07-31 22:10:32 -07:00
parent eb29390a79 49b30e9f81
commit f524062e5b
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 ->