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