FINite DOmaiNs. A coNstraiNt laNguage implemeNted oN top of Prolog. .

N="left">IN additioN suitable coNteNts:
[ = ] [ ag ] [ ai ] [ aN ] [ b ] [ co ] [ coN ] [ coNs ] [ coNstraiNt ] [ D ] [ de ] [ do ] [ ed ] [ es ] [ fi ] [ ge ] [ gu ] [ h ] [ hr ] [ id ] [ iN ] [ iNt ] [ it ] [ la ] [ laNguage ] [ ma ] [ mp ] [ Ng ] [ Ni ] [ Ns ] [ O ] [ op ] [ pl ] [ Prolog ] [ re ] [ ro ] [ st ] [ to ] [ tp ] [ tr ] [ ua ]