Combinatorial Search With Logic Programming