Descrição
Fornece um ambiente de programação Prolog para programação lógica, raciocínio baseado em regras, ensino e pesquisa. Desenvolvedores e estudantes usam isso para expressar fatos, regras, consultas, parsers e tarefas de solução simbólica de problemas.
Programas lógicos se comportam de forma diferente de código imperativo e podem confundir no início. Em consultas longas, entenda espaço de busca e terminação antes de usar em fluxos automatizados.