Document when/2 Condition

rotu · web-flow · commit e40125ff3a36 · 2025-05-18T16:46:28.000-05:00
diff --git a/src/lib/when.pl b/src/lib/when.pl
@@ -19,6 +19,7 @@
 %% 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 ->

Original file line number	Diff line number	Diff line change
`@@ -19,6 +19,7 @@`
`19`	`19`	`%% when(Condition, Goal).`
`20`	`20`	`%`
`21`	`21`	`% Executes Goal when Condition becomes true.`
	`22`	+% Condition may consist of `ground(T)`, `nonvar(T)`, `C1,C2`, `C1;C2`.
`22`	`23`	`when(Condition, Goal) :-`
`23`	`24`	`( when_condition(Condition) ->`
`24`	`25`	`( Condition ->`