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 16/05/2008, 23:10] – SaiyanRikuprolog [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 1: Ligne 1:
 +{{tag>programmation BROUILLON}}
 +
 +
 ====== Prolog ====== ====== Prolog ======
  
-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. 
 + 
 +<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>
  
-Il existe plusieurs interpréteur de Prolog sur Linux. 
  
  
Ligne 12: Ligne 18:
 ===== SWI-Prolog ===== ===== SWI-Prolog =====
  
-C'est l'un des interpreteurs les plus utilisé 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]]
  
-Avantages : 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.
  
 ==== 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>
  
-Utiliser maintenant la commande swiprolog pour lancer l'interpreteur. +Utiliser maintenant la commande prolog pour lancer l'interpréteur. 
-<code>swiprolog</code>+<code>prolog</code> 
  
 ==== Utilisation avec Emacs ==== ==== Utilisation avec Emacs ====
  
-Il est possible d'installer la coloration syntaxique et l'interpreteur 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 : +
-<code>+
 ;; 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 42: Ligne 46:
                             ("\\.m$" . mercury-mode))                             ("\\.m$" . mercury-mode))
                            auto-mode-alist))                            auto-mode-alist))
-</code>+</file>
  
-Voila, l'interpreteur est installé. Maintenant, pour l'utiliser, ouvrez un fichier avec l'extension **.pl**, et tapez votre programme Prolog dedans. Pour l'interpreter, allez dans le menu **Prolog** et cliquez sur **Consul file**. Une invite apparait alors en dessous, dans laquelle vous pouvez interroger votre programme Prolog.+Voilà, l'interpréteur est installé. Maintenant, pour l'utiliser, ouvrez un fichier avec l'extension **.pl**, et tapez votre programme Prolog dedans. Pour l'interpréter, allez dans le menu **Prolog** et cliquez sur **Consult file**. Une invite apparaît alors en dessous, dans laquelle vous pouvez interroger votre programme Prolog.
  
  
Ligne 50: Ligne 54:
 ===== GNU Prolog ===== ===== GNU Prolog =====
  
-Un autre interpreteur 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 : Propose un solveur de contraintes sur domaine fini. 
  
 ==== 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>
  
  
-Utiliser maintenant la commande gprolog pour lancer l'interpreteur.+Utiliser maintenant la commande gprolog pour lancer l'interpréteur :
 <code>gprolog</code> <code>gprolog</code>
 +
 +
 +===== TkECLiPSe =====
 +
 +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.
 +
 +Grâce à son interface graphique, il est très pratique pour programmer en Prolog.
 +
 +==== Installation ====
 +
 +Commencez par choisir votre version : [[http://eclipseclp.org/Distribution|Distribution]].
 +Sélectionner le dossier adapté à votre architecture système : x86_64_linux.
 +Puis télécharger l'archive : [[http://eclipseclp.org/Distribution/Current/6.1_168_x86_64_linux/eclipse_basic.tgz]].
 +
 +<code>
 +mkdir eclipse_basic
 +tar -zxvf eclipse_basic.tgz -C eclipse_basic
 +cd eclipse_basic/
 +</code>
 +
 +Pour vérifier le type de votre architecture :
 +<code>
 +./ARCH
 +</code>
 +
 +Puis lancez l'installation :
 +<code>
 +./RUNME
 +</code>
 +
 +Le programme va vous demander où installer le programme et l'emplacement de votre [[Java|JRE]].
 +
 +Une fois l'installation terminée, le message suivant s'affichera :
 +
 +<code>
 +ECLiPSe installation done.
 +You should now add $ECLIPSEDIR/bin/i386_linux
 +to your PATH environment variable.
 +</code>
 +
 +Pour cela, tapez la commande suivante en remplaçant $ECLIPSEDIR par le répertoire adéquat (exemple : /home/bob/eclipse_basic)
 +<code>
 +export PATH=$PATH:$ECLIPSEDIR/bin/i386_linux
 +</code>
 +
 +==== Utilisation ====
 +
 +Pour lancer tkeclipse :
 +<code>
 +tkeclipse
 +</code>
 +
 +Vous pouvez maintenant commencer à coder :
 +
 +{{:tkeclipse.png?500|TkEclipse}}
 +
 +===== Sisctus Prolog =====
 +
 +Sicstus Prolog. Cet interpréteur n'est pas libre, mais peut fonctionner sous Linux. [[http://www.sics.se/sicstus/|Site officiel]]
 +
 +FIXME
prolog.1210972255.txt.gz · Dernière modification : (modification externe)
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