Différences

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

--- prolog [Le 13/05/2014, 19:53] – [Utilisation avec Emacs] 78.250.179.173
+++ prolog [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.
-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.