From e40125ff3a362a9c147a90dd2f07034f4d9e848f Mon Sep 17 00:00:00 2001 From: Dan Rose Date: Sun, 18 May 2025 16:46:28 -0500 Subject: [PATCH] Document `when/2` Condition --- src/lib/when.pl | 1 + 1 file changed, 1 insertion(+) diff --git a/src/lib/when.pl b/src/lib/when.pl index 56734057..737aea43 100644 --- 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 -> -- 2.54.0