CLP(BNR)

Constraint Logic programming (Booleans, Naturals and Reals)

Bell-Northern Research Computing Research Lab

A Prolog-based language that incorporates an arc-consistency propagation algorithm on interval-bounded constraints which handles general algebraic constraints over continuous, integer and boolean variables. This allows programmers to express systems of non-linear equations on real intervals that can be arbitrarily mixed with integer and boolean constraints equations.