branch: scratch/ediprolog
commit 49679a0c4475004bb2bbeb0fd4380a76ef2a8482
Author: Markus Triska <tri...@metalevel.at>
Commit: Markus Triska <tri...@metalevel.at>

    use library(clpz) and Scryer Prolog interaction in screenshot
---
 README.md     |   2 +-
 factorial.png | Bin 60804 -> 39199 bytes
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 4f79fe4f6a..fdf591393d 100644
--- a/README.md
+++ b/README.md
@@ -95,7 +95,7 @@ versions 26.1 and&nbsp;27.0.50.
 # Screenshot
 
 Here is a sample interaction, using
-[CLP(FD)&nbsp;constraints](https://www.metalevel.at/prolog/clpfd) to
+[CLP(ℤ)&nbsp;constraints](https://www.metalevel.at/prolog/clpz) to
 relate a number to its factorial:
 
 ![Factorial](factorial.png)
diff --git a/factorial.png b/factorial.png
index b85c8c0f05..653a4df7d7 100644
Binary files a/factorial.png and b/factorial.png differ

Reply via email to