用Prolog求解传教士和野人问题,程序报告。