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.