A constraint logic language.
[Details?]
Nearby terms: BNC « BNF « BNR Pascal « BNR Prolog » bo » BOA » boa