解决Prolog中的逻辑难题

解决Prolog中的逻辑难题