CLP(FD): Please use (//)/2 for truncated integer division

Skip to first unread message

Markus Triska

Jan 5, 2015, 9:11:18 AM1/5/15
Hi all,

please use (//)2 for truncated integer division (rounding towards zero) in your CLP(FD) programs, as in:

X #= Y // Z

This syntax has already been supported for several months and works in SWI >= 7.1.18.

Previously, truncated integer division was provided by (/)/2. The semantics of (/)/2 in CLP(FD) arithmetic expressions is going to change in the future (accompanied by more information), so please change / to // in your current CLP(FD) arithmetic expressions.

To support you during the transition period, (/)/2 will continue to be available in its current form for the next 3 development releases.

Thank you and all the best!

Michael Hendricks

Jan 9, 2015, 12:41:05 PM1/9/15
to Markus Triska,
Thanks Markus for giving us notice.  I've published a new version of my julian pack with these changes.  Everything went smoothly.

You received this message because you are subscribed to the Google Groups "SWI-Prolog" group.
To unsubscribe from this group and stop receiving emails from it, send an email to
Visit this group at
For more options, visit
Reply all
Reply to author
0 new messages