Acerca do Livro


O  compêndio é formado pelas matérias
que têm sido leccionadas na cadeira de
Introdução à Programação em
Lógica da licenciatura em Matemática Aplicada
e Computação da Universidade de Aveiro.

Destina-se a todos os interessados no Prolog e
na programação em lógica e, de um modo geral,
a todos os entusiastas da Computação.

O Prolog é uma linguagem de programação estruturada,
de cariz simbólico, que permite representar e manipular
conhecimento de uma maneira declarativa e
descritiva.

Numa altura em que a Sociedade da Informação começa
a ser, de facto, uma realidade, não é de estranhar que
o Prolog, assente numa abordagem relacional e
trabalhando a um nível de abstracção elevado,
próximo do modo como formulamos os problemas,
tenha deixado de se confinar a um grupo restrito de pessoas e
seja agora encarado como vinculador de um modo de pensar essencial
na abordagem aos problemas complexos que a nova era da
Informação nos coloca.