행성에 대한 무인 임무를 통해 얻은 태양계의 형성과 진화에 대한 과학적 이론과 가설을 검토하는 프로그램