BNR Prolog

Constraint logic.