Prolog is really awesome (and impressive) for solvers where there is an "optimum" solution for what you want. Its fairly trivial to write a checkers AI in prol

Prolog is really awesome (and impressive) for solvers where there is an "optimum" solution for what you want. Its fairly trivial to write a checkers AI in prolog if you can define what you want + need: