https://github.com/Limmen/Advent-Of-Code16-Prolog
Don't know if this is "beautiful" prolog but the programs seem pretty short compared to what a typical AoC question is.