# Abstracts

### 1995

S. Coupet-Grimal, O. Ridoux
**"On the use of Advanced Logic Programming Languages in Computational Linguistics"**,
J. Logic Programming,
vol. 24,
nº 1&2,
pp. 121-159,
1995.

**Keywords:** Logic programming, computational linguistics, LambdaProlog, Prolog II, lambda-terms, rational terms..

**Abstract: **Computational Linguistics and Logic Programming have strong connections, but the former uses concepts that are absent from the most familiar implementations of the latter. We advocate that a Logic Programming language need not feature the Computational Linguistics concepts exactly, it must only provide a logical way of dealing with them. We focus on the manipulation of higher-order terms and the logical handling of context, and we show that the advanced features of Prolog II and LambdaProlog are useful for dealing with these concepts. Higher-order terms are native in LambdaProlog, and Prolog II's infinite trees provide a handy data-structure for manipulating them. The formula language of LambdaProlog can be transposed in the Logic Grammar realm to allow for a logical handling of context.