From fb5afd4d74fadbe44bfeb5fa0e0e1c3157188118 Mon Sep 17 00:00:00 2001 From: Jorge Gomez Date: Fri, 11 Oct 2024 13:27:23 -0500 Subject: [PATCH] Update clpz prolog requirement --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index a286f10..7ba56ee 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ This repository contains information about **CLP(ℤ)**. -CLP(ℤ) requires **SICStus Prolog**. +CLP(ℤ) requires [**Scryer Prolog**](https://www.scryer.pl/). As of April 2020, a version of this library ships with Scryer Prolog as library(clpz).