Prolog é uma linguagem de uso geral que é especialmente associada com a inteligência artificial e lingüística computacional. Consiste numa linguagem puramente lógica. SWI-Prolog é um editor de códigos da linguaguem prolog. Ele executa de forma leve e eficiente seus códigos em Prolog.
Como Funciona
Para instalar o interpretador SWI-Prolog basta um "duplo-clique" sobre o ícone do arquivo obtido por download. Durante o processo de instalação o programa pede uma área de instalação e um diretório de trabalho, escolha essas áreas, que será onde seus arquivos-fontes (arquivos de extensão ".pl") devem ser guardados.
Informação Extra
É comum o servidor ficar fora do ar às vezes. Então é só aguardar a liberação do site pelo desenvolvedor para realizar o download novamente.