Continguts
1.Conèixer i usar les estructures de dades en Prolog:
els àtoms, les constants i les variables,
els fets i les regles,
les clàusules i les preguntes,
els termes i les llistes.
2.Comprendre i usar la recursivitat:
comprendre les definicions declarativa i procedimental de la recursivitat,
aplicar la recursivitat en la resolució de problemes.
3.Conèixer i ser capaç d'usar les DCG (Gramàtiques de Clàusules Definides) simples:
conèixer les DCG com a forma de representar gramàtiques lliures
de context,
formular les DCG amb diferències de llistes,
usar les regles recursives a les DCG,
construir reconeixedors.
4.Saber construir i usar DCG ampliades:
augmentar l'expressivitat de les DCG: arguments addicionals i comprovacions
complementàries,
construir analitzadors.
5.Dominar els recursos complementaris per a la programació:
el "cut" i la negació.
la manipulació de fitxers i fluxos d'entrada i sortida.
6.Construir progressivament una gramàtica en Prolog.
7-02-2006
Bibliografia recomanada
Clocksin, W. F.
Programming in Prolog ; W.F. Clocksin, C.S. Mellish
Berlin [etc.] : Springer, cop. 1994
Pereira, Fernando C. N.
Prolog and natural-language analysis ; Fernando C.N. Pereira and Stuart M.
Shieber
Stanford (Calif.) : Center for the Study of Language and Information, cop.
1987
Sterling, Leon
The Art of Prolog : advanced programming techniques ; Leon Sterling, Ehud
Shapiro ; with a foreword by David H.D. Warren
Cambridge (Mass.) : MIT Press, cop. 1994