From: Markus Triska Date: Tue, 28 Apr 2020 16:22:18 +0000 (+0200) Subject: mention backtrackable and non-backtrackable global variables X-Git-Tag: v0.8.123~100^2^2~1 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=dcc09b7bb55bb141f196dcfc9103d8b17376d8c5;p=scryer-prolog.git mention backtrackable and non-backtrackable global variables --- 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.