Added prolog challenge files 1 and 2.