College Publications logo   College Publications title  
View Basket
Homepage Contact page
   
 
AiML
Academia Brasileira de Filosofia
Algorithmics
Arts
Cadernos de Lógica e Computação
Cadernos de Lógica e Filosofia
Cahiers de Logique et d'Epistemologie
Communication, Mind and Language
Computing
Comptes Rendus de l'Academie Internationale de Philosophie des Sciences
Cuadernos de lógica, Epistemología y Lenguaje
DEON
Dialogues
Economics
Encyclopaedia of Logic
Filosofia
Handbooks
Historia Logicae
IfColog series in Computational Logic
Journal of Applied Logics - IfCoLog Journal
Journals
Landscapes
Logics for New-Generation AI
Logic and Law
Logic and Semiotics
Logic PhDs
Logic, Methodology and Philosophy of Science
The Logica Yearbook
Neural Computing and Artificial Intelligence
Philosophy
Research
The SILFS series
Studies in Logic
Studies in Talmudic Logic
Student Publications
Systems
Texts in Logic and Reasoning
Texts in Mathematics
Tributes
Other
Digital Downloads
Information for authors
About us
Search for Books
 



Cadernos de Lógica e Computação


Back

Aprenda Prolog Já!

Patrick Blackburn, Johan Bos, Kristina Striegnitz

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.


20 August 2014

978-1-84890-155-1

Buy from Amazon: UK   US   






© 2005–2024 College Publications / VFH webmaster