A logic programming language like SWI Prolog (https://www.swi-prolog.org) or GNU Prolog (http://www.gprolog.org) would be a nice addition.