Theme Park solutions

Theme Park was solved using Prolog by 1 contestant. Solution sizes: average 5439 bytes (shortest: 4533; longest: 6345).