BNR Prolog
A constraint logic language.
[Details?]
(21 Dec 1994)