corrected prolog solution url