Re: [Caml-list] Syntax

[Diego olivier FERNANDEZ PONS <Diego-Olivier.FERNANDEZ-PONS@cicrp.jussieu.fr>]

> 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