On the use of advanced logic programming languages in computational linguistics

The Journal of Logic Programming

Volumn 24, Issue 1-2, 1995, Pages 121-159

  Coupet Grimal, Solange ^b   Ridoux, Olivier ^a  

^a CAMPUS DE BEAULIEU   (France)

^b UNIVERSITÉ DE PROVENCE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL GRAMMARS; COMPUTATIONAL LINGUISTICS; DATA STRUCTURES; FORMAL LANGUAGES; NATURAL LANGUAGE PROCESSING SYSTEMS; PROLOG (PROGRAMMING LANGUAGE);

HIGHER ORDER TERMS; LOGIC GRAMMAR; LOGIC PROGRAMMING LANGUAGES; LOGICAL HANDLING OF CONTEXT; SEMANTIC LEVEL; SYNTACTIC LEVEL;

LOGIC PROGRAMMING;

EID: 0029344068     PISSN: 07431066     EISSN: None     Source Type: Journal    
DOI: 10.1016/0743-1066(95)00040-Q     Document Type: Article

References (54)

1. Login: a logic programming language with built-in inheritance
2. The Compilation of λProlog and its Execution with MALI
3. A formulation of the simple theory of types
4. An interesting subset of natural language
5. An introduction to Prolog III
6. Les systèmes-Q ou un Formalisme pour Analyser et Synthétiser des Phrases sur Ordinateur
7. Metamorphosis grammars
8. Prolog and infinite trees
9. Prolog, bases théoriques et développement actuels
10. Deux Arguments pour les Arbres Infinis en Prolog
11. Prolog infinite trees and automata
12. Translating Spanish into logic through logic
13. Lambda calculus notation with nameless dummies, a tool for automatic formula manipulation, with application to the Church-Rosser theorem
14. Linear logic
15. Interactive synthesis of definite-clause grammars
16. Logic Programming in Intuitionistic Linear Logic: Theory, Design, and Implementation
17. Specifying filler-gap dependency parsers in a linear-logic programming language
18. Logic programming in a fragment of intuitionistic linear logic
19. Intuitionistic implication and resolution
20. YACC—Yet Another Compiler Compiler
21. Unification: A multidisciplinary survey
22. The Semantics of Predicate Logic as a Programming Language
23. Typed Prolog: A semantic reconstruction of the Mycroft-O'Keefe type system
24. Logic grammars and λProlog
25. Using slots and modifiers in logic grammars for natural languages
26. Some uses of higher-order logic in computational linguistics
27. Higher-order logic programming
28. Uniform proofs as a foundation for logic programming
29. A theory of type polymorphism in programming
30. The proper treatment of quantification in ordinary English
31. A polymorphic type system for Prolog
32. A definite clause version of categorial grammar
33. Extending definite clause grammars with scoping constructs
34. Logic for Natural Language Analysis
35. Prolog and natural-language analysis: Into the third decade
36. Definite clauses for language analysis
37. On a semantic representation of natural language sentences
38. A Machine-Oriented Logic Based on the Resolution Principle
39. An approach to natural language semantics in logic programming
40. A Mechanical Proof of the Church-Rosser Theorem
41. Memoing for logic programs
42. Using λ-calculus to represent meanings in logic grammars