From dcc09b7bb55bb141f196dcfc9103d8b17376d8c5 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Tue, 28 Apr 2020 18:22:18 +0200 Subject: [PATCH] mention backtrackable and non-backtrackable global variables --- README.md | 7 +++++-- 1 file changed, 5 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index e30bd1b7..a25a560d 100644 --- a/README.md +++ b/README.md @@ -281,12 +281,15 @@ Logic Programming (LP) and Constraints. In addition to built-in support for [`dif/2`](src/prolog/lib/dif.pl), [`freeze/2`](src/prolog/lib/freeze.pl), -[CLP(ℤ)](src/prolog/lib/clpz.pl) and [CLP(B)](src/prolog/lib/clpb.pl), +[CLP(B)](src/prolog/lib/clpb.pl) and [CLP(ℤ)](src/prolog/lib/clpz.pl), Scryer provides a convenient way to implement new user-defined constraints: *Attributed variables* are available via [`library(atts)`](src/prolog/lib/atts.pl) as in SICStus Prolog, which is one of the most sophisticated and fastest constraint systems -in existence. +in existence. In [`library(iso_ext)`](src/prolog/lib/iso_ext.pl), +Scryer provides predicates for backtrackable (`bb_b_put/2`) and +non-backtrackable (`bb_put/2`) global variables, which are needed to +implement certain types of constraint solvers. These features make Scryer Prolog an ideal platform for teaching, learning and developing portable CLP applications. -- 2.54.0