GNU Prolog
Este artigo não cita fontes confiáveis. (Agosto de 2020) |
GNU Prolog (também chamado gprolog) é um compilador e um ambiente de depuração interativo para Prolog, desenvolvido por Daniel Diaz, disponível para Unix e Windows. Também suporta algumas extensões para o Prolog, incluindo programação com restrições, parsing através de gramáticas de cláusulas definidas, e uma interface para o sistema operacional.
O compilador converte o código fonte em bytecodes que podem ser interpretados por uma máquina abstrata de Warren e os convertem em executáveis independentes.