[Vetch]

If you look behind logic programming at what powered deduction engines, you will find that its core is very much tree search algorithms like depth-first backtracking search or iterative deepening, which IIUC, is also central in chess engines.

The rest is basically regular programming in that its largely bound by how well the programmer models. For a large number of things, the scope of what a human can consider lags an optimization process. In chess, it at first seemed like this might be the case there too, but latest performance points to maybe not this time.