BNR Prolog

A constraint logic language.

[Details?]