.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- Soluzione Gennaio 2007 (http://www.dsy.it/forum/showthread.php?threadid=29625)

Soluzione Gennaio 2007

Ho postato nell'area Filez le soluzione di Gennaio 2007.
Le ho controllate e ricontrollate e dovrebbero essere giuste.
Specie per il prolog ho confrontato le mie soluzioni con l'albero generato da SWI-Prolog ed è lo stesso!
Segnalate però eventuali errori di "formalismo", dato che io non ho mai seguito e non so bene come vanno scritte le cose...questo mi sarebbe molto utile, per evitare di perdere punti per strada durante il compito solo perchè sbaglio qualche cavolata formale...
Grazie