See clpBNR with SWI Prolog for a way to use interval arithmetic in the broader scope of logic programming. https://github.com/ridgeworks/clpBNR https://github.

See clpBNR with SWI Prolog for a way to use interval arithmetic in the broader scope of logic programming. https://github.com/ridgeworks/clpBNR https://github.com/ridgeworks/clpBNR