Les grandes tendances génériques

Attributs sémantiques, structure de traits.
- grammaires attribuées (Knuth) pour la compilation des langages de programmation
- langages à affectation unique, FNC2
- structure des traits; feature logics (Rounds)
- Life (Ait Kaci)

Clauses de Horn, unification, contraintes.
- Rappels : principe de résolution
- Programmation logique : PROLOG (Colmerauer), Definite clauses (Kowalski)
- Clauses de Horn comme grammaires paramétrées (Pereira)
- Grammaires de métamorphose, PROLOG2 (Colmerauer)
- Les usines à gaz de Stanford : GPSG (Gazdar, Pullum, Sag), HPSG (Pollard, Sag)
- L'usine à gaz de Xerox-PARC : LFG (Kaplan, Bresnan)
- Grammaires de propriétés (Blache)
- Formalismes de description partielle de structures (Vijay-Shanker, Sarrebruck)
- Grammaires d'interaction (Guy Perrier, Nancy)

Différents rôles des contraintes.
- Contraintes passives (filtre a posteriori)
- Contraintes actives (génération a priori)
- Optimality theory (pas de rejet absolu)

Vers une utilisation ambitieuse de la théorie des types.
- Grammatical Frameworks (Aarne Ranta, Göteborg)