3.3 Teoria de la demostració - La Salle

Exercici 20
Sigui els següents dominis:
Domains
raiz = integer
arbol=nodo(arbol, raiz, arbol);fi
lista=raiz*
superlista = lista*
Implementar els següents predicats:
a)contari(arbol,lista,integer) (i,o,o) construeix una llista amb els elements que són
fills esquerres i compta el nombre qui hi ha.
b)nodosprof(arbol,superlista) (i,o) construeix una llista de llistes (superllista) de
manera que la i-esima llista té els nodes de l’arbre que estan en profunditat i.
Exercici 21
Sigui la següent definició:
database
fitxa(integer,integer)
Cada fitxa representa una fitxa del joc del dòmino. El “blanc” esta representat per 0.
En un fitxer FITXES.TXT hi ha un conjunt de fitxes.
Volem determinar mitjançant un predicat Prolog si amb el conjunt de fitxes donat
podem “fer un dòmino”, és a dir, podem posar totes les fitxes de manera “legal” segons
les regles del dòmino. Si és possible aleshores donarem la seqüència corresponent. Si
no és possible el predicat fallarà.
Exemple 1:
fitxa(2,3).
fitxa(1,2).
fitxa(0,5).
fitxa(3,4).
fitxa(0,1).
fitxa(6,0).
fitxa(2,5).
fitxa(4,2).
Amb aquest conjunt de fitxes podem fer un dòmino:
(0,1)(1,2)(2,3)(3,4)(4,2)(2,5)(5,0)(0,6)
195