Olá pessoal, esse post vai para meus queridos alunos de Lógica Proposicional ou quem for interessado pelo assunto.

O Gprolog é um compilador livre, da linguagem prolog que compila código fonte e interpreta comandos em tempo de execução. Segue abaixo o passo a passo de como instalar no Ubuntu:

1º – Precisamos fazer o download em http://www.gprolog.org/#download;

2º – Precisamos descompactar os arquivos através do comando:

tar -zxvf gprolog-1.3.0.tar.gz

3º -Entrar no diretório descompactado e executar os seguintes comandos:

 cd gprolog-1.3.0
 cd src
 ./configure
 make
 sudo make install

Feito isso terá finalizado a instalação.