Added Prolog solution