Older, William J. ; André Vellino: Extending Prolog with Constraint Arithmetic on Real Intervals. Proceedings of the Canadian Conference on Electric and Computer Engineering 1990

Languages mentioned

• BNR Prolog {1985}