This paper focuses on the resolution of quantifier-induced scope ambiguity by Prolog implementation.

• 本文的重点是讨论在Prolog语言中如何实现对含有量化词辖域歧义的语句的消歧问题。