Prolog: Já houviram falar sobre?

Fala galera do fórum, tudo bem? Para quem não me conhece, prazer, me chamo Saulo Ferro — sim, meu sobrenome sempre me fez alvo de piadinhas. Pois bem, sou graduado em jornalismo, no entanto, decidi começar outra carreira pois trabalhar com comunicação é morrer de fome no Brasil. Com isso, comecei a faculdade de Sistemas de Informação no Instituto Federal do Maranhão - Campus Monte Castelo.

Ainda estou no primeiro período, mas já sabia programar devido ao ensino médio e técnico. Contudo, o que chamou mais a minha atenção é a grande curricular da faculdade, enquanto outras federais do própio estado ofertam Python e C#. Essa federal que estou acabou escolhendo usar C e, o motivo desse post, o Prolog.

Resumindo, o Prolog era uma espécie de linguagem para baixo nível, na verdade, uma pré-linguagem. Foi projeto para desenhar relação de objetos e criação bem simples de redes neurais na década de 90. E hoje é um projeto parado nos galpões da IBM.

Honestamente, creio que poderia ser trocado facilmente pelo Python e frameworks de POO. Pois o intuito de estarmos estudando o Prolog é apenas associar lógica, matemática e como aos dados devemos orientá-los via codificação.

Acabei de finalizar uma atividade com o Prolog, caso queira ver a escrita da linguagem: rebrand.ly/fj0htfq

Prolog não é uma "pré-linguagem" ou relíquia dos anos 90. É a única linguagem mainstream baseada em lógica de primeira ordem – e está mais viva que nunca. O SWI-Prolog, por exemplo, tem updates mensais e é usado em produção da IA da IBM e até Samsung, NASA, e muitos outros sistemas.

Prolog não é sobre como computar, mas o que precisa ser verdade. Você define relações e regras, e o motor de inferência resolve o resto.

Casos de Uso Atuais:

  1. Sistemas especialistas (ex: diagnóstico de falhas em hardware).
  2. Processamento de linguagem natural.
  3. IA simbólica (a nova onda pós-LLMs, que combina redes neurais com lógica).

O Futuro:

LLMs são ótimos em gerar texto, mas péssimos em raciocínio lógico. A próxima geração de IA será híbrida (neural + simbólica) e usará Prolog-like engines para inferência.

Prolog parece "inútil" até você enfrentar problemas que loops não resolvem. É como aprender cálculo: não usará todo dia, mas redefine seu modo de pensar. E todo curso bom de computação ensina Prolog por isso!

Nossa, obrigado pela sua contribuição. Só escrevi o que o professor apresentou. Obrigado por revelar mais sobre, pois não é uma linguagem tão conhecida fora do nicho de IA. E, até agora, minha turma está estudando-la apenas para associar a forma de computar — peço desculpas se não ficou compreensivél isso da minha parte.
Cara, agorinha, olhando uns providers que a biblioteca LangChain suporta, vi o Prolog. Olha só: https://pypi.org/project/langchain-prolog/

Sou de São Luis - MA também! 😃

Tive experiência com Prolog na graduação na disciplina de inteligência artificial e achei incrível.

Além do que o @clacerda muito bem pontuou, o aprendizado do Prolog também te abre a mente para pensar em soluções para além da maneira imperativa como a maioria dos programadores e te ajuda a melhorar habilidades com recursão quem nem todo programador domina (do iniciante ao experiente).

Nossa que legal encontrar outro conterrâneo por aqui (risos). Sabe , o quê me estranha? É que, pelo que me explicaram, o Prolog é usado em matérias de IA no meio do curso . Mas eu tô vendo em lógica e matemática computacional no primeiro período .

Sua faculdade dever ter uma agenda ou cronograma para seguir. Acho esquisito estudar prolog no início, mas devem ter um motivo.

Eu "correria" por fora, com alguma outra linguagem que tem mais oportunidades no mercado, como Python ou JavaScript. Eventualmente tu vai precisar arrumar um trampo, então vai ser mais tranquilo quando chegar nesse momento. Sucesso pra ti.

Conheci Prolog no curso de Ciência da Computação. Pra nós ele foi o exemplo prático dos estudos sobre Lógica de Predicados e Inteligência Artificial. Como esse curso é sobre pesquisa, Ciências e obter um conhecimento amplo para você decidir o seu caminho, acho super válido. Também conheci Haskell pq era a linguagem de programação da época que implementava o paradigma de Programação Funcional. Logicamente, aprendemos as linguagens mais usadas no mercado. Útil para quem vai direto para o mercado.

Obrigado pelos conselhos e sugestões, confesso que pesquisarei sobre a Haskell pois parece que é uma boa base para paradigmas também.