Thanks. Fixed in source.
|Did you know ...||Search Documentation:|
|Title for pldoc(object(section('sec:cplfd-arith-constraints')))|
Sorry, No manual entry for section(sec:cplfd-arith-constraints)
Right now the URL of this HTML page is: http://eu.swi-prolog.org/pldoc/man?section=cplfd-arith-constraints
Shouldn't that rather be section=**clpfd**-arith-constraints ? (+ possibly a auto-follow page in the current=soon_to_become_old place)