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