Descrição
Programas lógicos podem ser escritos, compilados e testados com o sistema GNU Prolog. É útil para estudantes e desenvolvedores que estudam programação baseada em regras, resolução de restrições ou raciocínio simbólico.
Runtimes de linguagem executam código-fonte com as permissões da conta do usuário. Revise arquivos Prolog de fontes não confiáveis antes de executá-los.