See also Mercury, FP logic programming like the love child of Prolog and Haskell https://en.wikipedia.org/wiki/Mercury_(programming_language)