A logic programming language like SWI Prolog (https://www.swi-prolog.org) or GNU Prolog (http://www.gprolog.org) would be a nice addition.
Other interesting Prolog implementations: http://eclipseclp.org/, https://github.com/ciao-lang/ciao, https://github.com/mthom/scryer-prolog, http://www.tau-prolog.org/
Yes! Prolog has a tradicional and important role in the history of the programming language. Furthermore, it is the most genuine representive of the logic paradigm.