Availability:
:- use_module(library(clpfd)).
![Show source Source](/swish/pldoc/res/source.png)
(=<)/2
by #=</2
to obtain more general relations. See declarative integer arithmetic (section
A.9.3).
:- use_module(library(clpfd)).
(=<)/2
by #=</2
to obtain more general relations. See declarative integer arithmetic (section
A.9.3).