Add PPL hw6 (Prolog)