Différences
Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente | ||
|
prolog [Le 02/03/2011, 13:38] Maxbester Ajout de ECLIPSe |
prolog [Le 31/08/2022, 23:37] (Version actuelle) moths-art Passage de http à https sur les liens externes (détecté et corrigé via le bot wiki-corrector (https://forum.ubuntu-fr.org/viewtopic.php?id=2067892) |
||
|---|---|---|---|
| Ligne 5: | Ligne 5: | ||
| Prolog est l'un des principaux langages de programmation logique. | Prolog est l'un des principaux langages de programmation logique. | ||
| - | Pour plus d'informations, allez sur [[http://fr.wikipedia.org/wiki/Prolog|Wikipedia]]. | + | Pour plus d'informations, allez sur [[https://fr.wikipedia.org/wiki/Prolog|Wikipedia]]. |
| Il existe plusieurs interpréteurs de Prolog sur Linux. | Il existe plusieurs interpréteurs de Prolog sur Linux. | ||
| - | <note important>Attention! Des différences d'interprétation du code Prolog peuvent exister d'un interpréteur à l'autre. C'est le cas par exemple entre SWI-Prolog et Sicstus Prolog lors de l'utilisation de la programmation logique par contrainte.</note> | + | <note important>Attention ! Des différences d'interprétation du code Prolog peuvent exister d'un interpréteur à l'autre. C'est le cas par exemple entre SWI-Prolog et Sicstus Prolog lors de l'utilisation de la programmation logique par contrainte.</note> |
| Ligne 18: | Ligne 18: | ||
| ===== SWI-Prolog ===== | ===== SWI-Prolog ===== | ||
| - | C'est l'un des interpréteurs les plus utilisés sous Linux. Il est développé par l'Université d'Amsterdam. [[http://www.swi-prolog.org/|Site officiel]] | + | C'est l'un des interpréteurs les plus utilisés sous Linux. Il est développé par l'Université d'Amsterdam. [[https://www.swi-prolog.org/|Site officiel]] |
| Capacités : il possède un débuggeur graphique ainsi que plusieurs solveurs de contraintes. | Capacités : il possède un débuggeur graphique ainsi que plusieurs solveurs de contraintes. | ||
| Ligne 24: | Ligne 24: | ||
| ==== Installation ==== | ==== Installation ==== | ||
| - | Il faut juste [[:tutoriel:comment_installer_un_paquet|installez le paquet]] [[apt://swi-prolog|swi-prolog]] : | + | Il faut juste [[:tutoriel:comment_installer_un_paquet|installez le paquet]] [[apt>swi-prolog|swi-prolog]] : |
| <code>sudo apt-get install swi-prolog</code> | <code>sudo apt-get install swi-prolog</code> | ||
| Ligne 34: | Ligne 34: | ||
| Il est possible d'installer la coloration syntaxique et l'interpréteur dans [[Emacs]]. | Il est possible d'installer la coloration syntaxique et l'interpréteur dans [[Emacs]]. | ||
| - | Commencez d'abord par installer le paquet [[apt://prolog-el|prolog-el]] : | + | Commencez d'abord par installer le paquet [[apt>prolog-el|prolog-el]] : |
| <code>sudo apt-get install prolog-el</code> | <code>sudo apt-get install prolog-el</code> | ||
| - | + | Ensuite éditez votre fichier **~/.emacs** pour y ajouter les lignes suivantes : | |
| - | Ensuite ouvrez votre fichier .emacs : | + | <file bash ~/.emacs> |
| - | <code>gedit ~/.emacs</code> | + | |
| - | pour y ajouter les lignes suivante : | + | |
| - | <file> | + | |
| ;; Ajout du mode Prolog | ;; Ajout du mode Prolog | ||
| (autoload 'run-prolog "prolog" "Start a Prolog sub-process." t) | (autoload 'run-prolog "prolog" "Start a Prolog sub-process." t) | ||
| Ligne 57: | Ligne 54: | ||
| ===== GNU Prolog ===== | ===== GNU Prolog ===== | ||
| - | Un autre interpréteur similaire a SWI-Prolog. Celui-ci est développé par l'INRIA. [[http://www.gprolog.org/|Site officiel]] | + | Un autre interpréteur similaire à SWI-Prolog. Celui-ci est développé par l'INRIA. [[http://www.gprolog.org/|Site officiel]] |
| Capacités : il propose un solveur de contraintes sur domaine fini. | Capacités : il propose un solveur de contraintes sur domaine fini. | ||
| Ligne 64: | Ligne 61: | ||
| ==== Installation ==== | ==== Installation ==== | ||
| - | Cela se passe par l'installation du paquet [[apt://gprolog|gprolog]] : | + | Cela se passe par l'installation du paquet [[apt>gprolog|gprolog]] : |
| <code>sudo apt-get install gprolog</code> | <code>sudo apt-get install gprolog</code> | ||
| Ligne 74: | Ligne 71: | ||
| ===== TkECLiPSe ===== | ===== TkECLiPSe ===== | ||
| - | TkECLIPSe est un logiciel open-source pour le développement et le déploiment des applications de programmation par contraintes. | + | TkECLIPSe est un logiciel open-source pour le développement et le déploiement des applications de programmation par contraintes. |
| Il est idéal pour l'enseignement des aspects de problèmes combinatoires. Il contient plusieurs bibliothèques. | Il est idéal pour l'enseignement des aspects de problèmes combinatoires. Il contient plusieurs bibliothèques. | ||
| Ligne 83: | Ligne 80: | ||
| Commencez par choisir votre version : [[http://eclipseclp.org/Distribution|Distribution]]. | Commencez par choisir votre version : [[http://eclipseclp.org/Distribution|Distribution]]. | ||
| - | A l'heure actuelle, la version la plus récente est la 6.0_167. Sélectionner le dossier adapté à votre distribution : x86_64_linux. | + | Sélectionner le dossier adapté à votre architecture système : x86_64_linux. |
| - | Puis télécharger l'archive : [[http://eclipseclp.org/Distribution/6.0_167/x86_64_linux/eclipse_basic.tgz|eclipse_basic.tgz]]. | + | Puis télécharger l'archive : [[http://eclipseclp.org/Distribution/Current/6.1_168_x86_64_linux/eclipse_basic.tgz]]. |
| <code> | <code> | ||
| Ligne 94: | Ligne 91: | ||
| Pour vérifier le type de votre architecture : | Pour vérifier le type de votre architecture : | ||
| <code> | <code> | ||
| - | ./ARCHI | + | ./ARCH |
| </code> | </code> | ||
| Ligne 117: | Ligne 114: | ||
| </code> | </code> | ||
| - | Une fois que cela est fait, lancez tkeclipse : | + | ==== Utilisation ==== |
| + | |||
| + | Pour lancer tkeclipse : | ||
| <code> | <code> | ||
| tkeclipse | tkeclipse | ||