:?:
2. Dato il seguente stato dei fatti e delle regole:
a(a).
b(a) .
b(c).
a(b).
c(a) .
c(c).
c(A):-
a(A) ,
b(A).
Indicare quale é la sequenza delle soluzioni dell'interrogazione seguente:
?- c(A).
La sequenza che dovrebbe venire è "a b a c"????Oppure nun c'ho capito una mazza??
Grazie 8)

Ok tutto tranne b secondo me.

PS: ma vuole la sequenza nell'ordine esatto oppure solo l'elenco delle soluzioni?

Secondo Prolog le soluzioni in sequenza sono:

a

c

a

Aiuto, non mi ricordo una mazza di Prolog °_°

Vediamo... le prime 6 dovrebbero essere delle regole, giusto? E l'ultima la definizione di un genrico c(A), dove A (maiuscola) è una variabile... Se poi chiedo c(A), il prolog mi dovrebbe rispondere per quali valori di A, c(A) risulta vera, giusto?

Alla luce di questo non capisco perché esce a-c-a... Cioé, la prima a lo capisco, ma le altre due no °_°

Tu hai sia c(a) e c(c) (che sono fatti), che c(A):-a(A),b(A). (che è un predicato; in particolare l'and di a(A) e b(A)).

Quindi alla query -? c(A). lui ti risponde con tutte le soluzioni per cui c(A) è vero, ovvero con tutti i valori di A che soddisfano c(A).
Quindi una "a" è perché c'è il fatto c(a), e per lo stesso motivo la "c".

Poi c'è di nuovo la "a" perché è l'unico valore che soddisfa l'and di a(A) e b(A).

Tu hai sia c(a) e c(c) (che sono fatti), che c(A):-a(A),b(A). (che è un predicato; in particolare l'and di a(A) e b(A)).

Quindi alla query -? c(A). lui ti risponde con tutte le soluzioni per cui c(A) è vero, ovvero con tutti i valori di A che soddisfano c(A).
Quindi una "a" è perché c'è il fatto c(a), e per lo stesso motivo la "c".

Poi c'è di nuovo la "a" perché è l'unico valore che soddisfa l'and di a(A) e b(A).

Ma che sei il tutor di Cepu? :lol:

Si sa nulla del progetto di di cui aveva parlato a inizio corso? (non ho frequentato molto 8)

Quindi una "a" è perché c'è il fatto c(a), e per lo stesso motivo la "c".

LOL, le prime due erano le più banali, e io avevo capito solo la seconda "a"!

Grazie per la spiegazione e per i termini esatti

Ma che sei il tutor di Cepu? :lol:

No, sono in missione per conto di dio... :P

Tu hai sia c(a) e c(c) (che sono fatti), che c(A):-a(A),b(A). (che è un predicato; in particolare l'and di a(A) e b(A)).

Quindi alla query -? c(A). lui ti risponde con tutte le soluzioni per cui c(A) è vero, ovvero con tutti i valori di A che soddisfano c(A).
Quindi una "a" è perché c'è il fatto c(a), e per lo stesso motivo la "c".

Poi c'è di nuovo la "a" perché è l'unico valore che soddisfa l'and di a(A) e b(A).

Quindi sarebbe cosi per la terza "a"della sequenza :
per a ho: a(a) e a(c)
per b ho: b(a) e b(b)
essendo a l'unico valore tra parentesi in comune tra a e b il valore è quello,giusto???
P.S.: scusate la mia ignoranza :wink:

Yessss

Yessss

Grazieeeeeee :wink:

Mi serve un grosso aiuto.Qualcuno sa dirmi che viene fuori dalle interrogazioni di questi 2 es prolog e magari spiegarmi brevemente il perchè??Io una mezza idea ce l'ho ma forse ho fatto confusione.
1)
Dato il seguente stato dei fatti e delle regole:
father(a,b).
father(b,c).
father(k,a).

ancestor(A,B) :-
father(A,B).

ancestor(A,B) :-
father(A,K),
ancestor(K,B).

?- ancestor(A,B).

Che viene fuori??? io penso "b c" perchè sono gli unici padri(b padre di a e c padre di b)che sono anche antenati di qualcuno(b antenato di k e c antenato di a).


2)
Dato il seguente stato dei fatti e delle regole:
edge(a,b).
edge(a,c).
edge(c,c).
edge(d,e).
edge(f,g).

cerca_edge_uguali(A,B) :-
stampa_edge(A,B),
A=B.

stampa_edge(A,B) :-
edge(A,B),
writeln(A),
writeln(B).

?- edge(A,B). Che viene fuori??? Per caso è "c"?

Grazie! 8)

Il secondo esercizio è risolto qualche post più sopra... :wink:

2) stampa "a c a"

1)Stampa prima tutte le relazioni padre-figlio quindi a b; b c; k a; e poi continuando a dargli l'OR( stampa a c; k b; k c; che si ricavano dal predicato ancestor...

Scusate, il secondo esercizio che ha postato nevermore che c'entra con quello di prima? °_°

Comunque, dovrebbe stampare tutte le coppie di edge... Chiede solo quelle...

ops....ehm...mi sono confuso... ops:

stampa tutte le coppie di edge...cmq Stellato ha detto che c'è stato un errore nella query che doveva essere così:

?- cerca_edge_uguali(A,B).

Perchè continuo sempre più a domandarmi a che serve andare a lezione??? :?: :?: :?: :?: :?: :?:

bhe dopo la lezione di oggi tra l' altro tenuta da stellato mi sono definitivamente convindo di come questo sia un esame di MERDA....passatemi la parola forte, ma non ne posso più mi faccio 40 km andata e 40 al ritorno 10 euro al giorno di benzina per sentirmi fare lezione come solo un ragazzino delle medie saprebbe far peggio......CHE SCHIFO.
E quel che è più è che questo esame ci decimerà come ha sempre fatto negli anni.....(la grattatina è d' obbligo).

oggi non ho potuto seguire.......che è stato fatto a lezione???? grazie mille