New Features

• The CLPFD expressions X / Y and X mod Y no longer block until Y is ground.
• The CLPFD predicate fd_flag/3 is new. Its main use if to determine the behavior on integer overflow conditions. Furthermore, representation errors raised by such conditions now mention the culprit constraint.
• A new option to spld, --embed-sav-file is now the default when using --static. Together with other default options this means that an all-in-one executable main.exe can be built from a saved state main.sav with the command line

            % spld --output=main.exe --static main.sav
            

  See All-in-one Executables.