I think the SWI Prolog clpBNR package is the most complete interval arithmetic system. It also supports arbitrary constraints.

https://github.com/ridgeworks/clpBNR