Différences

Ci-dessous, les différences entre deux révisions de la page.

Lien vers cette vue comparative

Les deux révisions précédentesRévision précédente
Prochaine révision		Révision précédente
prolog [Le 17/11/2012, 13:49] – les lignes suivante > les lignes suivantes, similaire a SWI-Prolog > similaire à SWI-Prolog Canigou 66prolog [Le 31/08/2022, 23:37] (Version actuelle) – 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) moths-art
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.
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 suivantes : +
-<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 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>
prolog.1353156589.txt.gz · Dernière modification : de Canigou 66
CC Attribution-Noncommercial-Share Alike 4.0 International Sauf mention contraire, le contenu de ce wiki est placé sous les termes de la licence suivante : CC Attribution-Noncommercial-Share Alike 4.0 International