FIDO(ID:2031/fid002)

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