O Prolog e uma linguagem de programacao, mas uma linguagem pouco usual. A designacao "Prolog'' e abreviatura de "Programming with Logic'' e a relacao com a logica e o que da ao Prolog o seu perfil especial. No seu amago esta uma ideia surpreendente: nao dizer ao computador o que fazer. Em vez disso, descrevem-se as situacoes relevantes e a computacao e efetuada quando se fazem perguntas. O Prolog deduz novos factos acerca das situacoes descritas e devolve essas deducoes como respostas. Porque aprender Prolog? Em primeiro lugar, a sua divisa "dizer qual e o problema em vez de dizer como o...