Sommaire

Installation de SWI-Prolog

SWI-Prolog est un logiciel permettant d’utiliser Prolog sur les PC Windows ou Linux ainsi que les Mac. Le site officiel est : http://www.swi-prolog.org/

Le logiciel est disponible pour plusieurs plateformes (Windows, Mac OS, ou même fichiers sources à compiler) sur la page : http://www.swi-prolog.org/download/stable

La première étape consiste à télécharger le logiciel :

Choisissez dans la section Binaries le programme adapté à votre machine.

Enregistrez le fichier.

Lancez l’installation.

Acceptez l’invite de sécurité si nécessaire.

L’installation démarre alors. Les différentes étapes sont très simples :

À la présentation de la licence, choisissez I agree.

Choisissez ensuite une installation de type Typical (par défaut) et Next.

Choisissez l’emplacement d’installation ou laissez le choix par défaut.

Sur l’écran suivant, laissez les choix par défaut et choisissez Install.

Une fois l’installation terminée, il suffit de cliquer sur finished (et choisir ou non de lire le fichier Readme).