Différences

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

--- prolog [Le 15/10/2013, 15:15]
129.175.152.155 passage liens apt:// en apt>, c'est pareil mais c'est plus joli :) + maj du lien pour TkECLiPSe
+++ 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.
-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.
@@ Ligne 18: / Ligne 18: @@
 ===== 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.
@@ Ligne 36: / Ligne 36: @@
 Commencez d'abord par installer le paquet [[apt>prolog-el|prolog-el]] :
 <code>sudo apt-get install prolog-el</code>
+Ensuite éditez votre fichier **~/.emacs** pour y ajouter les lignes suivantes :
-Ensuite éditez votre fichier **~/.emacs**
-<code>gedit ~/.emacs</code>
-pour y ajouter les lignes suivantes :
 <file bash ~/.emacs>
 ;; Ajout du mode Prolog