Add solution in prolog