BNR Prolog

BNR Prolog, also known as CLP(BNR) is a declarative constraint logic programming language based on relational interval arithmetic developed at Bell-Northern Research in the 1980s and 1990s. Embedding relational interval arithmetic in a logic programming language differs from other constraint logic programming (CLP) systems like CLP(R) or Prolog-III in that it does not perform any symbolic processing. BNR Prolog was the first such implementation of interval arithmetic in a logic programming language. Since the constraint propagation is performed on real interval values, it is possible to express and partially solve non-linear equations. Wikipedia

Created Year: 1988
Developed by: Bell-Northern Research
Aliases: CLP(BNR)

Wikidata: Q60790863

Programming paradigms: constraint logic programming

Language types: constraint logic programming language