Re: fd_labeling do not work with value method bounds

Salvador Abreu <[email protected]> Sun, 21 Aug 2022 17:03:28 +0100
Newsgroups gmane.comp.gnu.prolog.bugs
Message-ID <[email protected]>
I think it's just a documentation error:
it should say =E2=80=9Climits=E2=80=9D instead of =E2=80=9Cbounds=E2=80=9D=
 in the manual.

| ?- fd_domain(X, 1, 5), fd_labeling(X, [value_method(limits)]).

X =3D 1 ? ;
X =3D 5 ? ;
X =3D 2 ? ;
X =3D 4 ? ;
X =3D 3

(1 ms) yes
| ?- =20

best
-spa

> On 21 Aug 2022, at 12:46, one_of_us <[email protected]> wrote:
>=20
> o@Kiki:~/prolog$ uname -a
> Linux Kiki 5.10.0-17-amd64 #1 SMP Debian 5.10.136-1 (2022-08-13) =
x86_64 GNU/Linux
>=20
> ---------------
> o@Kiki:~/prolog$ gprolog --version
> Prolog top-Level (GNU Prolog) 1.4.5
> By Daniel Diaz
> Copyright (C) 1999-2020 Daniel Diaz
>=20
> GNU Prolog comes with ABSOLUTELY NO WARRANTY.
> This is free software; see the source or the file
> named COPYING for copying conditions.
>=20
> ---------------
> o@Kiki:~/prolog$ gprolog
> GNU Prolog 1.4.5 (64 bits)
> Compiled Feb 23 2020, 20:14:50 with gcc
> By Daniel Diaz
> Copyright (C) 1999-2020 Daniel Diaz
> | ?- fd_domain( [X], 1, 5 ), fd_labeling( [X], [value_method(middle)] =
).
> X =3D 2 ? a
> X =3D 3
> X =3D 1
> X =3D 4
> X =3D 5
> yes
> | ?- fd_domain( [X], 1, 5 ), fd_labeling( [X], [value_method(bounds)] =
).
> uncaught exception: =
error(domain_error(fd_labeling_option,value_method(bounds)),fd_labeling/2)=

> | ?-
>=20
>=20