Prolog

SWI Prolog : GPL license for Windows / Linux / macOS [html]

Haskell

Haskell Platform : development environment for programming in Haskell