| tech,9-1-J82-3002,bq | an overall account of a prototype <term> | natural language question answering system | </term> , called <term> Chat-80 </term> . <term> | #12845 This paper gives an overall account of a prototypenatural language question answering system, called Chat-80. |
| tool,16-1-J82-3002,bq | question answering system </term> , called <term> | Chat-80 | </term> . <term> Chat-80 </term> has been designed | #12852 This paper gives an overall account of a prototype natural language question answering system, calledChat-80. |
| tool,0-2-J82-3002,bq | </term> , called <term> Chat-80 </term> . <term> | Chat-80 | </term> has been designed to be both efficient | #12854 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. |
| tech,6-3-J82-3002,bq | system is implemented entirely in <term> | Prolog | </term> , a <term> programming language </term> | #12877 The system is implemented entirely inProlog, a programming language based on logic. |
| tech,9-3-J82-3002,bq | entirely in <term> Prolog </term> , a <term> | programming language | </term> based on <term> logic </term> . With | #12880 The system is implemented entirely in Prolog, aprogramming language based on logic. |
| other,13-3-J82-3002,bq | programming language </term> based on <term> | logic | </term> . With the aid of a <term> logic-based | #12884 The system is implemented entirely in Prolog, a programming language based onlogic. |
| other,5-4-J82-3002,bq | <term> logic </term> . With the aid of a <term> | logic-based grammar formalism | </term> called <term> extraposition grammars | #12891 With the aid of alogic-based grammar formalism called extraposition grammars, Chat-80 translates English questions into the Prolog subset of logic. |
| other,9-4-J82-3002,bq | logic-based grammar formalism </term> called <term> | extraposition grammars | </term> , <term> Chat-80 </term> translates <term> | #12895 With the aid of a logic-based grammar formalism calledextraposition grammars, Chat-80 translates English questions into the Prolog subset of logic. |
| tool,12-4-J82-3002,bq | <term> extraposition grammars </term> , <term> | Chat-80 | </term> translates <term> English questions | #12898 With the aid of a logic-based grammar formalism called extraposition grammars,Chat-80 translates English questions into the Prolog subset of logic. |
| other,14-4-J82-3002,bq | </term> , <term> Chat-80 </term> translates <term> | English questions | </term> into the <term> Prolog </term><term> | #12900 With the aid of a logic-based grammar formalism called extraposition grammars, Chat-80 translatesEnglish questions into the Prolog subset of logic. |
| tech,18-4-J82-3002,bq | <term> English questions </term> into the <term> | Prolog | </term><term> subset of logic </term> . The | #12904 With the aid of a logic-based grammar formalism called extraposition grammars, Chat-80 translates English questions into theProlog subset of logic. |
| other,19-4-J82-3002,bq | </term> into the <term> Prolog </term><term> | subset of logic | </term> . The resulting <term> logical expression | #12905 With the aid of a logic-based grammar formalism called extraposition grammars, Chat-80 translates English questions into the Prologsubset of logic. |
| other,2-5-J82-3002,bq | subset of logic </term> . The resulting <term> | logical expression | </term> is then transformed by a <term> planning | #12911 The resultinglogical expression is then transformed by a planning algorithm into efficient Prolog, cf. query optimisation in a relational database. |
| tech,9-5-J82-3002,bq | expression </term> is then transformed by a <term> | planning algorithm | </term> into efficient <term> Prolog </term> | #12918 The resulting logical expression is then transformed by aplanning algorithm into efficient Prolog, cf. query optimisation in a relational database. |
| other,13-5-J82-3002,bq | planning algorithm </term> into efficient <term> | Prolog | </term> , cf. <term> query optimisation </term> | #12922 The resulting logical expression is then transformed by a planning algorithm into efficientProlog, cf. query optimisation in a relational database. |
| tech,16-5-J82-3002,bq | efficient <term> Prolog </term> , cf. <term> | query optimisation | </term> in a <term> relational database </term> | #12925 The resulting logical expression is then transformed by a planning algorithm into efficient Prolog, cf.query optimisation in a relational database. |
| tech,20-5-J82-3002,bq | <term> query optimisation </term> in a <term> | relational database | </term> . Finally , the <term> Prolog form </term> | #12929 The resulting logical expression is then transformed by a planning algorithm into efficient Prolog, cf. query optimisation in arelational database. |
| other,3-6-J82-3002,bq | relational database </term> . Finally , the <term> | Prolog form | </term> is executed to yield the answer . | #12935 Finally, theProlog form is executed to yield the answer. |
