You could always read the docs? https://www.swi-prolog.org/pldoc/man?section=clpfd-integer-arith https://www.swi-prolog.org/pldoc/man?section=clpfd-integer-a..

You could always read the docs? https://www.swi-prolog.org/pldoc/man?section=clpfd-integer-arith https://www.swi-prolog.org/pldoc/man?section=clpfd-integer-a... https://www.swi-prolog.org/pldoc/doc_for?object=!/0 https://www.swi-prolog.org/pldoc/doc_for?object=!/0