Esercizi Logica E Prolog Clicca QUI per vedere il messaggio nel forum |
garfa84 |
Qualcuno ha fatto gli esercizi dell'appello di Gennaio 2009? |
garfa84 |
A me nella ricerca di dimostrazione un ramo chiude e l'altro no...
a voi come esce....??????
avevo dubbi sul prolog ma mi stanno venendo pure su logica..... |
garfa84 |
c'è qualcuno?????!!!!!!!!!
ma in Luglio 2006 nel contromodello perchè nelle soluzioni alla fine diventa R(a,a),R(a,b),R(b,a),R(b,b)......
non dovrebbe esserci la negazione davanti
V = perogni
VxVy not R(x,y)
:? |
|
|
|