FInite DOmainS. A conStraint language implemented on top of Prolog. .

Style="border-width:thin; border-color:#333333; border-Style:daShed; padding:5px;" align="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 ]