GNU Prolog 1.5.0 estava disponível para download no site do desenvolvedor quando verificamos. Não podemos garantir que haja um download gratuito disponível. As versões mais baixadas do programa são 1.4, 1.3 e 1.2.
Esse software para PC é adequado para as versões 32-bit e 64-bit do Windows XP/Vista/7/8/10/11. GNU Prolog está dentro da categoria Ferramentas de Desenvolvimento. O instalador do programa é chamado geralmente de gprolog.exe. GNU Prolog tem como desenvolvedor Daniel Diaz. É recomendável verificar os arquivos baixados com qualquer antivírus gratuito, pois não podemos garantir que sejam seguros.
Do desenvolvedor:
GNU Prolog é um compilador Prolog gratuito com resolução de restrições em domínios finitos. O GNU Prolog aceita programas de restrição Prolog e produz binários nativos (como o gcc faz a partir de uma fonte C). O executável obtido é então autônomo. O tamanho deste executável pode ser bastante pequeno, pois o GNU Prolog pode evitar vincular o código da maioria dos predicados integrados não utilizados.
Confira mais programas, tais como PSPP ou Visual Prolog, que podem ser relacionados a GNU Prolog.