Browse thread
Re: [Caml-list] Syntax
- Diego olivier FERNANDEZ PONS
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
| Date: | -- (:) |
| From: | Diego olivier FERNANDEZ PONS <Diego-Olivier.FERNANDEZ-PONS@c...> |
| Subject: | Re: [Caml-list] Syntax |
> Bonjour > > [...] Utiliser Prolog, c'est se tirer une balle dans le pied au départ. > Les industriels comme Xerox utilisent plutôt C++, mais je connais au > moins un autre effort en Ocaml, et Aarne Ranta qui utilise Haskell > > Cordialement Gérard Huet > Mes affirmations au sujet de Prolog et Lisp méritaient en effet quelque nuance... Aucun doute à ce sujet, les industriels utilisent C++. Même pour faire de la programmation logique par contraintes ils utilisent du C++ d'ailleurs, on pourra s'en convaincre avec le succès d'Ilog Solver ! Il est cependant difficile d'exiger d'un étudiant en lettres qui a dévié vers la linguistique de manier avec brio le pointeur, l'allocation dynamique de mémoire, les templates, l'héritage multiple, etc. Raison pour laquelle les universités (littéraires) ou du moins celle dans laquelle je suis, ont entrepris d'enseigner la linguistique informatique à force de Prolog et Lisp. Les références auxquelles nous sommes habitués portent des titres semblables à "Introduction au traitement des langues naturelles en Prolog et Lisp". A titre d'exemple, l'ouvrage de Catherine Fuchs précédemment cité comporte après de multiples explications sur les bienfaits de Prolog un chapitre complet sur l'analyse syntaxique descendante et ascendante avec Prolog, le tout assorti d'exemples. (extrait du programme de Licence de Sciences du langage) Programme : - Logique et langage - Calcul des propositions, calcul des prédicats. - Introduction au TALN, mise à niveau, algorithmique (notions de bases), initiation à la programmation (Langage PROLOG Syntaxe d'Edimbourg) - Traitement automatique des langues naturelles : Initiation au Langage PERL (extrait du programme de Maîtrise de Sciences du langage) Logique et théorie des automates (Calcul des prédicats, automates et machines de Turing) · 2 heures hebdomadaires de travaux dirigés : Jacques Courcier Algorithmique, PROLOG, représentations informatiques (Algorithmes sur les arbres, Logique du 1er ordre et PROLOG, Représentations sémantiques et PROLOG) · 2 heures hebdomadaire de travaux dirigés : Pascal Boldini Diego Olivier ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr