BNR Prolog

BNR Prolog

A constraint logic language.