add a partial prolog solution for 14