prolog语言:一道科学问题