Source : Free On-Line Dictionary of Computing

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