Magicka solutions

Magicka was solved using Prolog by 3 contestants. Solution sizes: average 3464 bytes (shortest: 1882; longest: 4818).