I think the SWI Prolog clpBNR package is the most complete interval arithmetic system. It also supports arbitrary constraints. https://github.com/ridgeworks/cl

I think the SWI Prolog clpBNR package is the most complete interval arithmetic system. It also supports arbitrary constraints. https://github.com/ridgeworks/clpBNR https://github.com/ridgeworks/clpBNR