Problem 1 prolog