[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
fd_labeling do not work with value method bounds
From: |
one_of_us |
Subject: |
fd_labeling do not work with value method bounds |
Date: |
Sun, 21 Aug 2022 14:46:39 +0300 |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.12.0 |
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)
| ?-
- fd_labeling do not work with value method bounds,
one_of_us <=