Difference lists and difference bags for logic programming of categorial deduction

• Autores: Glyn Morrill , Xavier Lloré
• Localización: Procesamiento del lenguaje natural, ISSN 1135-5948, Nº. 17, 1995, págs. 115-129
• Idioma: inglés
• Enlaces
  • Texto completo
• Resumen

  • We show how difference lists can de use for systematically compiled linear clauses fro Lambek categorial grammar and its generalisations, in analogy with standard Horn clauses for CF grammar. We also consider use of difference bags for partitioning of linear sequents, and methods for ambiguity and polymorphism.