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-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. |
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. |
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,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. |
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,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,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. |
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,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. |
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,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,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,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. |
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. |
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,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. |
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. |