The Free On-line Dictionary of Computing (19 January 2023):

FIDO

    (FInite DOmains) A constraint language implemented on
   top of Prolog.

   (ftp://ftp.uni-kl.de/pub1/Unix/languages/fido/).

   (2014-11-08)