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 … Continue reading →