natural language system which allowed the user to interrogate a Prolog knowledge base in the domain of world geography