</term>
.
<term>
Chat-80
</term>
has been designed
#14141This paper gives an overall account of a prototype natural language question answering system, called Chat-80 .
tech,6-3-J82-3002,ak
</term>
is implemented entirely in
<term>
Prolog
</term>
, a
<term>
programming language
</term>
#14166The system is implemented entirely in Prolog , a programming language based on logic.
tech,13-5-J82-3002,ak
planning algorithm
</term>
into efficient
<term>
Prolog
</term>
, cf.
<term>
query optimisation
</term>
#14211The resulting logical expression is then transformed by a planning algorithm into efficient Prolog , cf. query optimisation in a relational database.