From 1a4f8f992ba4ec9e0b5d982e800b3d2144943bba Mon Sep 17 00:00:00 2001 From: Jos De Roo Date: Mon, 17 Jan 2022 22:35:31 +0100 Subject: [PATCH] Update clpz.pl While running with scryer-prolog the resource control file should be ~/.scryerrc --- src/lib/clpz.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/lib/clpz.pl b/src/lib/clpz.pl index f330b36f..c2b29712 100644 --- a/src/lib/clpz.pl +++ b/src/lib/clpz.pl @@ -315,7 +315,7 @@ possible. Almost all Prolog programs also reason about integers. Therefore, it is highly advisable that you make CLP(ℤ) constraints available in all your programs. One way to do this is to put the following directive in -your =|~/.swiplrc|= initialisation file: +your =|~/.scryerrc|= initialisation file: == :- use_module(library(clpz)). @@ -405,7 +405,7 @@ The [_arithmetic constraints_](<#clpz-arith-constraints>) #=/2, #>/2 etc. are meant to be used _instead_ of the primitives `(is)/2`, `(=:=)/2`, `(>)/2` etc. over integers. Almost all Prolog programs also reason about integers. Therefore, it is recommended that you put the -following directive in your =|~/.swiplrc|= initialisation file to make +following directive in your =|~/.scryerrc|= initialisation file to make CLP(ℤ) constraints available in all your programs: == -- 2.54.0