From: Markus Triska <triska@metalevel.at>
Date: Wed, 22 Feb 2023 23:10:26 +0000 (+0100)
Subject: DOC: update residual goals
X-Git-Tag: v0.9.2~177^2
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=669242a8ced9ea801a2023115eaa525ce5bb2767;p=scryer-prolog.git

DOC: update residual goals
---

diff --git a/src/lib/clpb.pl b/src/lib/clpb.pl
index 546286ea..1bdbbefc 100644
--- a/src/lib/clpb.pl
+++ b/src/lib/clpb.pl
@@ -211,7 +211,7 @@ Here is an example session with a few queries and their answers:
    T = 1, clpb:sat(X=:=X*Y), clpb:sat(Y=:=Y*Z).
 
 ?- sat(1#X#a#b).
-   sat(X=:=a#b).
+   clpb:sat(X=:=a#b).
 ```
 
 The pending residual goals constrain remaining variables to Boolean
@@ -348,7 +348,7 @@ does compute =|XOR|= as intended:
 
 ```
 ?- xor(x, y, Z).
-sat(Z=:=x#y).
+   clpb:sat(Z=:=x#y).
 ```
 
 ## Acknowledgments