Esecuzione dei programmi Prolog Liste ed operatori aritmetici

Presentazione sul tema: "Esecuzione dei programmi Prolog Liste ed operatori aritmetici"— Transcript della presentazione:

1 Esecuzione dei programmi Prolog Liste ed operatori aritmetici
Fabio Massimo Zanzotto

2 Algoritmo di Risoluzione
?- path(a,d). … by examples edge(a,b). edge(b,c). edge(a,e). edge(c,d). edge(d,e). edge(f,e). path(X,Y):- edge(X,Y). path(X,Y):- path(X,Z),path(Z,Y). edge(a,d). path(a,Z),path(Z,d). edge(a,Z),path(Z,d). fail edge(a,b),path(b,d). edge(a,b),path(b,Z),path(Z,d). edge(a,b),edge(b,c),path(c,d). edge(a,b),edge(b,c),edge(c,d). Success! X=a,Y=d X=a,Y=d

3 Esecuzione programma Analizza i fatti/regole dall’alto verso il basso (quindi è importante l’ordine con cui vengono scritti) Utilizzo del BACKTRACKING per tornare indietro a prima che una variabile fosse unificata o che una certa regola fosse esplorata Utilizzo della ricorsione per chiamare le altre regole Per avere altre risposte, e quindi forzare il backtracking anche se il programma ne ha già trovata una che funziona, basta premere ;

4 «Letture» dei programmi Prolog
Il mondo dei se può essere letto in maniera: Dichiarativa I problemi sono risolubili attraverso la scrittura di un insieme di regole Procedurale I problemi sono risolubili attraverso la scrittura sequenze di istruzioni

5 «Lettura» Dichiarativa del Prolog
È la lettura classica (e più corretta): Una clausola con variabili come grandparent(X,Y):- parent(X,Z), parent(Z,Y). viene letta: Per ogni X e Y e Z, grandparent(X,Y) è vero se parent(X,Z) è vero e parent(Z,Y) è vero

6 «Lettura» Dichiarativa del Prolog
È la lettura classica (e più corretta): Una query come: ?- grandparent(X,mario). viene letta come: esiste un X che tale che grandparent(X,mario) è vero?

7 «Lettura» Procedurale del Prolog
È una lettura necessaria: Una clausola con variabili come grandparent(X,Y):- parent(X,Z), parent(Z,Y). Può essere anche letta: Per qualsiasi valore delle variabili X e Y e Z, per soddisfare il goal grandparent(X,Y) soddisfa prima il goal parent(X,Z) e poi il parent(Z,Y). ATTENZIONE: le variabili NON variano valore durante il soddisfamento del goal

8 «Lettura» Procedurale del Prolog
È una lettura necessaria: Una query come: ?- grandparent(X,mario). viene letta come: Soddisfare il goal grandparent(X,mario) trovando il valore della variabile X?

9 Osservazioni Importanza dell’ordine delle clausole e nelle clausole.
path(X,Y):- path(X,Z),path(Z,Y). path(X,Y):- edge(X,Y). Genera un loop infinito!!!

10 Liste In Prolog le liste sono molto utilizzate
Lista: sequenza di vari elementi (anche ripetuti), che possono essere a loro volta delle liste Es: [primo, secondo, [primo2, secondo2]]. Lista composta da tre elementi Il terzo elemento è a sa volta una lista La lista può essere vuota (caso molto importante e utilizzato)

11 Liste Ogni lista è composta da due parti:
Head: è il primo elemento Tail: è il resto della lista (a sua volta una lista) Le liste possono essere rappresentati in due modi: [a,b,c,d] .(a, .(b, .(c, .(d, []))))

12 Liste Per estrarre la Testa di una lista si usa la notazione:
[H | T ], dove H è la testa e T è la lista rimanente senza il primo elemento Si possono estrarre più elementi contemporaneamente: [H1, H2 | T] H1 e H2 sono il primo e il secondo elemento T è la lista rimanente (la lista di partenza meno i primi due elementi)

13 Operatori su liste member(?Elem, ?List)
Restituisce true se Elem si trova nella lista, può essere usato in vari modi: member(b, [a, b, c, d]). -> true member(e, [a, b, c, d]). -> false member(X,[a, b, c, d]). -> X = a ; X=b ; … member(c, [a, b, X, d]). -> X = c

14 Operatori su liste member(?Elem, ?List) possibile implementazione:
member2(X, [X|_]). member2(X,[_|T]):- member2(X,T).

15 Operatori su liste append(?List1, ?List2, ?List1AndList2)
List1AndList2 è la concatenazione di List1 e List2. Vari utilizzi append([a,b],[c,d], X). -> X = [a,b,c,d] append([a,b],X, [a,b,c,d]). -> X = [c,d] append([a,b],[X,d], [a,b,c,d]). -> X = c append(X, Y, [a,b,c,d]).

16 Esercizio Scrivere una possibile implementazione della append
Scrivere la regola per invertire tutti gli elementi di una lista, in modo da avere: ?- inverti([a,b,c,d,e,f], X). X=[f,e,d,c,b,a]

17 Operatori In Prolog è possibile definire nuovi operatori, ma ne esistono già alcuni definiti (esempio gli operatori aritmetici) 1*2+3*4 ha i due operatori + e * la scrittura in Prolog sarebbe: +(*(1,2), *(3,4)) + * * 1 2 3 4

18 Definire un operatore Ogni operatore ha una sua priorità
a + b*c come deve essere letto? +(a, *(b,c) ? *( +(a,b), c) ? In matematica * lega di più di +, e quindi + ha priorità più alta di * * + + c a * a b b c

19 Definire un operatore :- op(Priorità, Tipo, Operatore).
Priorità è un numero tra 0 e 1200 Tipo: infisso : xfx, xfy, yfx prefisso: fx, fy postfisso: xf, fy Operatore: il nome/simbolo dell’operatore

20 Definire un operatore Il tipo serve ad indicare anche la precedenza degli operatori: x : la sua priorità deve essere minore di quella dell’operatore y: la sua priorità deve essere minore o uguale a quella dell’operatore :- op(700, yfx, somma). Qual è l’albero risultante di 9 somma 5 somma 7 ?

21 Definire un operatore :- op(700, yfx, somma). 9 somma 5 somma 7
Quello a sinistra è corretto, perché? somma somma somma c somma a a b b c

22 Aritmentica Prolog può essere usato anche per fare dei calcoli, con alcune limitazioni Come detto gli operatori aritmetici sono già definiti A = B + C assegna ad A non il risultato della somma ma assegna proprio B + C per eseguire l’operazione bisogna usare is

23 Aritmetica A is 5 + 6 fa sì che in A venga messo il valore 11
B is * 3 mette in B 14 (rispetta la priorità) A destra di is non possono esserci variabile non ancora istanziate

24 Aritmetica A = 3 , B is A + 4. A = 3, B = A + C. A = 3, B is A+C, C=4.
A = 3 e B = 7 A = 3, B = A + C. A = 3 e B = 3+C A = 3, B is A+C, C=4. ERROR: is/2: Arguments are not sufficiently instantiated

25 Operatori per i calcoli
Gli operatori direttamente utilizzabili sono: + - * / ** (elevamento a potenza) // (divisione intera) mod (modulo, resto della divisione) <, >, >=, =<, =, \= (sono confronti booleani utili come predicati, ma non utilizzabili a sinistra di is) number(X) (vero se X è un numero, falso negli altri casi)

26 Esempio Vedere il file prolog-2.pl per avere un esempio di regole che usano gli operatori per i calcoli calcola(X + Y, Z):- Z is X+Y. calcola(5+8,Y). Y = 13 calcola(5+8+2,X). X = 15

27 Esercizio Implementare l’operatore div in modo tale che
A is 12 div 6 div 2 A = 4 Definire la regola max(A, B, Max) in modo che in Max ci vada il massimo tra A e B Pensare anche al caso: max(A, 5, 9) A = 9.