fd_labeling do not work with value method bounds
one_of_us <[email protected]> Sun, 21 Aug 2022 14:46:39 +0300
| Newsgroups | gmane.comp.gnu.prolog.bugs |
|---|---|
| Message-ID | <[email protected]> |
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 --------------- o@Kiki:~/prolog$ gprolog --version Prolog top-Level (GNU Prolog) 1.4.5 By Daniel Diaz Copyright (C) 1999-2020 Daniel Diaz GNU Prolog comes with ABSOLUTELY NO WARRANTY. This is free software; see the source or the file named COPYING for copying conditions. --------------- 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 = 2 ? a X = 3 X = 1 X = 4 X = 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) | ?-