Maybe this is my big chance to learn Prolog, as it was designed for just this sort of problem, I believe.