Pular para o conteúdo

Compilador GNU Prolog

Este artigo tem por objetivo demonstrar a instalação e funcionamento de um programa simples em Prolog utilizando o GNU Prolog como compilador. O GNU Prolog realiza a compilação do código-fonte, gerando código nativo, o que torna a execução mais rápida. Outros softwares para Prolog utilizam interpretação ao invés de compilação.
Felipe Martins dos Santos felipemartinsss
Hits: 33.354 Categoria: Linux Subcategoria: Software
  • Indicar
  • Impressora
  • Denunciar

Introdução

Este artigo tem por objetivo demonstrar a instalação e funcionamento de um programa simples em Prolog. Para a demonstração é utilizado o GNU Prolog como compilador.

O GNU Prolog realiza a compilação do fonte, gerando assim código nativo, o que torna a execução mais rápida. Outros softwares para Prolog utilizam interpretação ao invés da compilação.

A linguagem Prolog, apesar de antiga, gera bastante curiosidade e é ainda bastante estudada por pesquisadores da área de Inteligência Artificial.

Instalação do compilador GNU Prolog

Para instalar o GNU Prolog basta ir no link abaixo e procurar a fonte de instalação mais adequada:download GNU Prolog

Para o artigo foi utilizado o arquivo gprolog-1.3.0.tar.gz.

Depois de obtido o arquivo tar.gz, basta seguir o procedimento abaixo pela linha de comando:

tar -zxvf gprolog-1.3.0.tar.gz
$ cd gprolog-1.3.0
$ cd src
$ ./configure
$ make
$ sudo make install


Depois de instalado basta criar seus programas em prolog e executá-los através do gprolog.

   1. Introdução
   2. Primeiro exemplo

LaTex no Fedora 20 - Instalação via YUM

Blender Game Engine: Uma introdução

Reprodução de arquivos WAV com SDL_mixer e linguagem C

Como criar um box para o Vagrant

Instalando e utilizando o Google Earth

Etherwake + wake on coioti

Instalando o WebHTB

Instalando o Gaim no Slackware via source

#1 Comentário enviado por jonathanjgs em 05/10/2018 - 20:01h
Ajudo bastante amigo!
Agradeço por compartilhar o conheciento.

Contribuir com comentário

Entre na sua conta para comentar.