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.