definite clause grammars for language analysis - a survey of the formalism and a comparison with augmented transition networks .
A Machine-Oriented Logic Based on the Resolution Principle