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: