3.3 Teoria de la demostració - La Salle
3.3 Teoria de la demostració - La Salle
3.3 Teoria de la demostració - La Salle
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
SESSIÓ 30: Llistes<br />
FITXA DE LA SESSIÓ<br />
Nom: Llistes<br />
Tipus: teòrica<br />
Format: no presencial<br />
Durada: 3 hores<br />
Treball a lliurar: no<br />
Material:<br />
o Bibliografia bàsica:<br />
[Prolog2001]<br />
OBJECTIUS<br />
Estudiar en <strong>de</strong>tall el domini llista que ofereix Prolog.<br />
CONTINGUTS<br />
4.4.4 Llistes<br />
Les llistes són estructures <strong>de</strong> da<strong>de</strong>s que po<strong>de</strong>n contenir un nombre arbitrari<br />
d’elements. Són consi<strong>de</strong>ra<strong>de</strong>s recursives ja que una llista pot ser <strong>de</strong>finida<br />
recursivament <strong>de</strong> <strong>la</strong> següent manera:<br />
- <strong>la</strong> llista buida és una llista<br />
- una llista és un element (el primer) i una llista (<strong>la</strong> resta d’elements)<br />
Una llista podria <strong>de</strong>finir-se utilitzant dominis compostos <strong>de</strong> <strong>la</strong> següent manera:<br />
Domains<br />
llista = l(integer,llista);buida<br />
<strong>La</strong> llista l(3,l(5,l(1,buida))) es representa gràficament:<br />
Prolog proporciona una manera <strong>de</strong> <strong>de</strong>finir les llistes i una notació específica sense <strong>la</strong><br />
necessitat d’utilitzar noms <strong>de</strong> funcions (en l’exemple l).<br />
119
Change language