Answers to modal and hypothetical questions in knowledge base systems
definite clause grammars for language analysis - a survey of the formalism and a comparison with augmented transition networks .