(FInite DOmains) A constraint language implemented on top of Prolog.
ftp://ftp.uni-kl.de/pub1/Unix/languages/fido/.