Prolog would be a great addition. It is a very powerfull language when it comes to solve a system with constraint, such as finding the smallest path in a graph. I would have solve multiple problems with prolog if it was available.
For example, I assume that the supercomputer problem would be trivial using prolog.
But I’m not sure if it would be as powerfull for each problem, or even if the system of inputs and ouputs you use can work in prolog.