BNR Prolog

A constraint logic language.

[Details?]

(21 Dec 1994)