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 27.0.50. # Screenshot Here is a sample interaction, using -[CLP(FD) constraints](https://www.metalevel.at/prolog/clpfd) to +[CLP(ℤ) constraints](https://www.metalevel.at/prolog/clpz) to relate a number to its factorial:  diff --git a/factorial.png b/factorial.png index b85c8c0f05..653a4df7d7 100644 Binary files a/factorial.png and b/factorial.png differ