Bem lembrado! O XPCE é muito bom também para entender o funcionamento da linguagem. O debugger visual dele é uma ferramenta bem legal.

Obrigado pelo comentário!

Não sei se programam comercialmente com Prolog, mas essa GUI dá um aajuda danada, hehehe…

Nossa! ADA!? Bom, até agora só tinha ouvido falar em ADA. Dei uma lida em alguns textos (inclusive no começo desse tutorial que você passou) e parece uma linguagem interessante. Vou dar uma estudada nela. Valeu pela dica!

Obrigado pelo comentário!

Realmente, a busca por profundidade às vezes tem seus problemas na hora de programar em Prolog. Mas, como assim fica muito difícil fazer coisas muito fáceis?

Li um pouco mais sobre o teorema das quatro cores e, pelo que encontrei, eles provaram para uma família finita de grafos computacionalmente e, assim, provaram para todos os grafos. Não é exatamente por força bruta.

Eu particularmente não gosto muito de Prolog, apesar de ter usado muito pouco. A questão é a busca ser por padrão em profundidade e o que acaba ocorrendo é que é muito difícil fazer coisas muito fáceis.

Sobre o teorema das 4 cores, eu apenas vi a prova para 5 cores. Não é muito complicado, mas precisa de umas definições de grafo e perceber que o problema é relacionado com coloração de um grafo planar.

Até onde eu sei, não existe prova “limpa” para 4 cores. Eles conseguem provar exceto para uma família finita de grafos, onde foi provado por força bruta computacional que ainda é válido.

Obrigado pelos elogios! :)

Disse que Prolog é mais acadêmico porque não tenho conhecimento de aplicações comerciais que usam Prolog, mesmo aplicações de Inteligência Artificial. Mas é bastante provável que tenham, sim, aplicações comerciais em Prolog. Só não são comuns.

Bastante curioso o problema da coloração dos mapas, não? É muito interessante esse teorema. Nunca vi a prova…

Obrigado pela visita e pelo comentário!

Mas é muito legal mesmo! E não acho que seja algo somente acadêmico, ela serve para solucionar de maneira muito elegante problemas complexos de Inteligência Artificial e buscas em geral.

Ótimo post!

Legal a ilustração. Eu demorei um pouco para acreditar que só são preciso 4 cores para se pintar QUALQUER mapa, quando o prof. do primeiro semestre disse isso. Dá um nó na cabeça pensar nisso, ahahaha!