BNR Prolog, also known as CLP(BNR), is a declarative constraint logic programming language based on relational interval arithmetic developed at Bell-Northern...

implementations of this concept were Prolog III, CLP(R), and CHIP.[citation needed] B-Prolog BNR Prolog (aka CLP(BNR)) Constraint Handling Rules Ciao CLP(R)...