On the use of advanced logic programming languages
Résumé
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 needs 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 \PII\ and \LP\ are useful for dealing with these concepts. Higher-order terms are native in \LP, and \PII's infinite trees provide a handy data-structure for manipulating them. The formulas language of \LP\ can be transposed in the Logic Grammar realm to allow for a logical handling of context.