portugheză
O Prolog é uma linguagem de programaçăo, mas uma linguagem pouco usual. A designaçăo "Prolog'' é abreviatura de "Programming with Logic'' e a relaçăo com a lógica é o que dá ao Prolog o seu perfil especial. No seu âmago está uma ideia surpreendente: năo dizer ao computador o que fazer. Em vez disso, descrevem-se as situaçőes relevantes e a computaçăo é efetuada quando se fazem perguntas. O Prolog deduz novos factos acerca das situaçőes descritas e devolve essas deduçőes como respostas. Porquę aprender Prolog? Em primeiro lugar, a sua divisa "dizer qual é o problema em vez de dizer como o resolver" faz com que esta seja uma linguagem de muito alto nível, adequada para aplicaçőes com estruturas de conhecimento complexas, tais como inteligęncia artificial, processamento de língua natural e web semântica. Ao estudar Prolog, o leitor verá como tarefas sofisticadas podem ser resolvidas computacionalmente. Para além disso, o Prolog exige um tipo de raciocínio diferente. Há que ver os problemas de um ponto de vista diferente, declarativamente em vez de procedimentalmente. Adquirir este espírito e aprender a apreciar as relaçőes entre a lógica e a programaçăo, fazem com que o estudo do Prolog seja desafiante e compensador.
