Quer aprender Prolog?

Prolog e Programação em Lógica

Material sobre Prolog na Página do COCA

Apostila Prolog UFCG

Livro de Prolog - Prof. Eloi Favero

Lógica para Computação, Celso Kaestner

Programação em Lógica - Lucilia Figueiredo

Aula sobre Prolog

Programação Declarativa

Lógica - Implementando algoritmos lógicos PROLOG(swi Prolog) - pogMasters.net v.0.1

Prolog Aplicações Avançadas

Prolog Tutorials

Prolog Guide - Prolog in Examples

Prolog Guide - Prolog in Examples

Guide to Prolog Programming

Sobre Testes de Unidades em Prolog (Prolog Unit Tests)

Como instalar o SWI-Prolog 5.6.55com Unit Tests no Ubuntu 8.04
    Executar os comandos abaixo:
        wget  http://gollem.science.uva.nl/cgi-bin/nph-download/SWI-Prolog/binaries/pl-5.6.55-322.i586.rpm

sudo apt-get install alien

        sudo alien -d pl-5.6.55-322.i586.rpm
        sudo apt-get install swi-prolog
        sudo apt-get remove swi-prolog
        sudo dpkg -i pl_5.6.55-322_i386.deb



Atualização em 27/06/2015:
Links quebrados:

Tutorial sobre Prolog ``Programming in Logic'' (Programando em Lógica) - Prof. Claudio Sá - EM HTML

Tutorial de Prolog ``Programming in Logic'' (Programando em Lógica)

Tutorial sobre Prolog ``Programming in Logic'' (Programando em Lógica) - - Prof. Claudio Sá - EM PDF

Como baixar o SWI Prolog

Entre neste site:

http://www.swi-prolog.org/

Vá até esta página:

http://www.swi-prolog.org/dl-stable.html


Para Windows XP, pode clicar direto neste link aqui:

http://gollem.science.uva.nl/cgi-bin/nph-download/SWI-Prolog/w32pl5655.exe