Dancing With the Googlers solutions

Dancing With the Googlers was solved using Prolog by 3 contestants. Solution sizes: average 3917 bytes (shortest: 2123; longest: 5085).