I have only solved one puzzle in Prolog, but here it is: https://github.com/widforss/adventofcode/blob/master/example...

I choosed Prolog for that one as that meant I didn't have to implement the search algo, just state the problem in logic.