Langages de l'informatique
Langages de l'informatique
Langages de l'informatique
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
Le Paradigme Logique<br />
<strong>Langages</strong> <strong>de</strong> l’informatique<br />
Introduction<br />
Les langages<br />
Patrick Bellot<br />
Les paradigmes<br />
Modèle impératif abstrait<br />
Boehm et Jacopini<br />
Programmation impérative<br />
Programmation fonctionnelle<br />
Programmation en logique<br />
Gestion <strong>de</strong> la mémoire<br />
Quatre types <strong>de</strong> mémoire<br />
Gérer sa mémoire<br />
Comptage <strong>de</strong> référence<br />
Syntaxe et sémantique<br />
Sémantiques<br />
Analyse lexicale<br />
Analyse syntaxique<br />
Compilation<br />
Interprétation<br />
Machine p. 80 - Licence virtuelle<strong>de</strong>s droits d’usage en page 2.<br />
Les contraintes<br />
Dernier grand avatar <strong>de</strong> Prolog<br />
Objectif : être le plus logique possible en gardant la<br />
résolution SLDNF et fournir un outil puissant.<br />
Domaines Finis<br />
On déclare que les variables concernées appartiennent à<br />
<strong>de</strong>s domaines finis, ex : 1..34. On pose <strong>de</strong>s contraintes<br />
sur ces variables, ex : X >= 0, X+Y=0...<br />
Domaines Continus<br />
Essentiellement <strong>de</strong>s contraintes sur les nombres réels.<br />
Un moteur extérieur.<br />
Résolution