Prolog. Extraordinarily simple model (you can implement an interpreter in a few hundred lines of code); yet extraordinarily powerful for solving many kinds of

Prolog. Extraordinarily simple model (you can implement an interpreter in a few hundred lines of code); yet extraordinarily powerful for solving many kinds of discrete-math (e.g. parsing, graph theory) problems.