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