| tool,12-4-J82-3002,ak | <term> extraposition grammars </term> , <term> | Chat-80 | </term> translates English questions into | #14187 With the aid of a logic-based grammar formalism called extraposition grammars, Chat-80 translates English questions into the Prolog subset of logic. | |
| tool,0-2-J82-3002,ak | </term> , called <term> Chat-80 </term> . <term> | Chat-80 | </term> has been designed to be both efficient | #14143 This paper gives an overall account of a prototype natural language question answering system, called Chat-80. Chat-80 has been designed to be both efficient and easily adaptable to a variety of applications. | |
| other,13-3-J82-3002,ak | programming language </term> based on <term> | logic | </term> . With the aid of a <term> logic-based | #14173 The system is implemented entirely in Prolog, a programming language based on logic . | |
| tech,1-3-J82-3002,ak | to a variety of applications . The <term> | system | </term> is implemented entirely in <term> | #14161 The system is implemented entirely in Prolog, a programming language based on logic. |
