Install SWI-Prolog development version on Windows 10

I know this has a lot of detail and images, but it was made for people tying to install SWI-Prolog for the first time.

While this uses the development version of the software as an example, the steps are almost identical for the stable version.

Also Microsoft makes it hard to install applications that it doesn’t consider secure, this is evident as shown in step 8 where clicking on More info is not a customary step when installing software.

  1. Using an Internet browser navigate to SWI-Prolog home page: https://www.swi-prolog.org/

  2. Mouse over Download


    image

  3. Click SWI-Prolog
    This will take you download page: https://www.swi-prolog.org/Download.html

  4. Under Available versions click Development release
    image
    This will take you to SWI-Prolog development downloads page: https://www.swi-prolog.org/download/devel

  5. Under Binaries click on the (64-bit) version. For this example it currently is SWI-Prolog 8.1.12-1 for Microsoft Windows (64 bit)

  6. This will open a Save As dialog on Windows. Select a directory and click Save

    In the lower left of the screen a dialog will appear with the name of the file
    image

  7. Click on the image and select Open
    image

    A Windows security dialog should appear

image
8. Click More info to reveal the option to run the executable to install SWI-Prolog

image
9. Click Run anyway
This will open a User Account Control dialog (Sorry for not getting an image, would have to disable some security features to get it).

  1. Click Yes
    This will start the install wizard.

image
11. Click Next

image
12. Click I Agree

image
13. Click Next

image
14. Click Next

image
15. Click Next

image

  1. Click Install

image
image

  1. Click Finish

To start SWI-Prolog

In lower left click on start button image
Then at top of dialog

image

click SWI-Prolog

This will start SWI-Prolog console

image