07 Legs: Added Prolog solution; made Python solution executable