giovedì 20 novembre 2008
venerdì 31 ottobre 2008
venerdì 20 giugno 2008
Problema delle N regine in PROLOG
Soluzione in Prolog del problemma delle N Queens
Dato un numero naturale N, queens(N,Q) restituisce una
possibile disposizione di N regine su una scacchiera
N*N, in modo che nessuna sia sotto lo scacco di un'altra.
La disposizione sara' rappresentata come una lista
Q = [q1,...,qN] di numeri nell'intervallo fra 1 e N
dove qi rappresenta il numero di riga della
regina della colonna i-esima.
*/
/*
permutation(L1,L2) genera una permutazione L2 della lista L1; predefinita
nel linguaggio. Lo potevamo anche definire noi, come abbiamo visto a lezione.
*/
queens(N,Q) :-
list_int(1,N,L), permutation(L,Q), sicure(Q).
/* list_int(M,N,L) genera la lista L di tutti i numeri interi fra M e N se M <= N,
altrimenti generea la lista vuota.
*/
list_int(M,N,L) :-
M > N, L = [].
list_int(M,N,L) :-
M =< N, L = [M|L1], M1 is M+1, list_int(M1,N,L1).
/*
sicure(Q) controlla che la lista Q rappresenti una disposizione sicure delle reggine,
ossia che nessuna sia sotto lo scacco di un altra.
*/
sicure([]).
sicure([X|Q]) :-
no_attack(X,Q), sicure(Q).
/*
no_attack(X,Q) controlla che la regina in posizione di riga X
non sia sotto lo scacco di nessuna regina della lista Q
*/
no_attack(X,Q) :-
no_attack_aus(1,X,Q).
no_attack_aus(_,_,[]).
no_attack_aus(DIST,X,[Y|Q]) :-
X - Y =\= DIST, Y - X =\= DIST, DIST1 is DIST+1, no_attack_aus(DIST1,X,Q).
Type Checker per CoreML in Prolog -- Con typing del Let like ML
Type checker per coreML.
*/
% Regole per l'ambiente.
typenv(X, [ass(X,Y)|_], Y).
typenv(X, [_|Env],Y) :- typenv(X,Env,Y).
% REGOLE PER IL TIPO DELLE VARIE ESPRESSIONI.
% Constanti e operatori.
type(int(_),_,integer).
type(bool(_),_,boolean).
type(bfun(+),_,arr(integer,(arr(integer, integer)))).
type(bfun(-),_,arr(integer,(arr(integer, integer)))).
type(bfun(*),_,arr(integer,(arr(integer, integer)))).
type(bfun(/),_,arr(integer,(arr(integer, integer)))).
type(bfun(=),_,arr(integer,(arr(integer, boolean)))).
type(bfun(>),_,arr(integer,(arr(integer, boolean)))).
type(bfun(<),_,arr(integer,(arr(integer, boolean)))).
%Variabili.
type(var(V),Env,T) :- typenv(V,Env,T).
%Funzione.
type(fun(X,M),Env, arr(T1,T2)) :- type(M,[ass(X,T1)|Env],T2).
%Applicazione, senza occur_check.
%type(app(M1,M2),Env,T) :- type(M1,Env,arr(U,T)), type(M2,Env,U).
%Applicazione, con occur_check.
type(app(M1,M2),Env,T) :- type(M1,Env,arr(U1,T)), type(M2,Env,U2),unify_with_occurs_check(U1,U2).
%Condizionale.
type(cond(M1,M2,M3),Env,T) :- type(M1,Env, boolean), type(M2,Env,T), type(M3,Env,T).
%let normale.
%type(let(X,M1,M2),Env,T2) :- type(M1,Env,T), type(M2,[ass(X,T)|Env],T2).
%let like ML.
type(let(X,M1,M2),Env,T1) :- sub(X,M1,M2,M3), type(M3,Env,T1).
%SOSTITUZIONE
%Per le variabili.
sub(X,_,var(Y),var(Y)) :- X\==Y,!.
sub(X,NEW,var(X),NEW).
%Per le funzioni.
sub(X,NEW,fun(Y,C),fun(Y,C1)) :- X\==Y,! , sub(X,NEW,C,C1).
sub(X,_,fun(X,C),fun(X,C)).
%Per il Let.
sub(X,NEW,let(Y,M1,M2),let(Y,M1S,M2S)) :- X\==Y, !, sub(X,NEW,M1,M1S), sub(X,NEW,M2,M2S).
sub(X,NEW,let(X,M1,M2),let(X,M1S,M2)) :- sub(X,NEW,M1,M1S).
%Per l'applicazione.
sub(X,NEW,app(M1,M2),app(M1S,M2S)) :- sub(X,NEW,M1,M1S), sub(X,NEW,M2,M2S).
%Per il Condizionale.
sub(X,NEW,cond(M1,M2,M3),cond(M1S,M2S,M3S)) :- sub(X,NEW,M1,M1S), sub(X,NEW,M2,M2S), sub(X,NEW,M3,M3S).
%Per il bfun.
sub(_,_,bfun(Y),bfun(Y)).
%Per gli interi.
sub(_,_,int(Y), int(Y)).
%Per i booleani.
sub(_,_, bool(Y), bool(Y)).
martedì 3 giugno 2008
sabato 17 maggio 2008
martedì 13 maggio 2008
lunedì 5 maggio 2008
sabato 3 maggio 2008
mercoledì 30 aprile 2008
martedì 29 aprile 2008
domenica 20 aprile 2008
Windows Vista, Service Pack 1
Al contrario dei vecchi Service Pack Microsoft, l’aggiornamento di Vista non integra molte novità. Sommariamente, contiene una serie di correzioni all'attuale versione di Windows. Microsoft, piuttosto che a nuove funzioni o servizi, ha preferito riversare le sue ricerche sull'aumento delle prestazioni.
La prima innovazione che più tra le altre salta agli occhi è il fatto che il Service Pack condivida gran parte del kernel con Windows Server 2008. Questa somiglianza semplificherà la vita agli sviluppatori, e permetterà, all'occorrenza, una futura e veloce produzione di patch.
Il SP1 però non è solo un contenitore per una serie di aggiornamenti.
Include, infatti, molte correzioni, parte delle quali molto visibili dall'utente:
- Maggiore affidabilità e migliori prestazioni e stabilità per le connessioni Wi-Fi.
- Supporto a nuovi standard, come l'algoritmo di compressione Wi-Fi 802.11n e altri (SHA-256, AES-GCM).
- Efficacia migliorata per SuperFetch, ReadyBoost e ReadyDrive.
- Più rapidità per Internet Explorer 7.
- Supporto all'UEFI per la versione a 64 bit di Windows, Filesystem exFAT, progettato per le memory card.
- Set d'icone per i lettori Blu-ray e HD-DVD. Il supporto al lettore HD-DVD della Xbox 360 non è ancora integrato, ma si può scaricare tramite Windows Update.
- Aggiornamento del sistema WGA, che ora fa comparire messaggi a chi non possiede una copia autentica di Vista, che suggeriscono come risolvere velocemente il problema. Se avete installato una copia pirata di Vista, potreste avere problemi nell'installazione del SP1.
- Software per la deframmentazione del disco e per l'aggiornamento automatico delle DirectX alla versione 10.1.
- BitLocker ora può applicare la crittografia anche ad altri volumi, oltre a quello d'avvio.
- Altri aggiornamenti: possibilità d'impostare un motore di ricerca file.
- Visualizzazione della quantità reale di RAM, per i sistemi a 32 bit con più di 4 GB.
- UAC più discreto.
martedì 15 aprile 2008
Shqiptare reagoni .... U mbush kupa ne HIMARE
per ngjarjen me te fundit ne Himare. Toke shqiptare denbabaden...
Me lejoni te shprehem sepse jam shume i indinjuar dhe i irrituar njekohesisht,
dhe habitem se si shteti dhe politika shqiptare perpara nje ceshtje
kaq te rendesishme dhe jetike rri duarkryq.
Turp te gjitheve...
Un ndodhem ne Itali per studime dhe nuk mund t bej shume
por doja te jepja kontributin tim...
Me kujtohen vargjet e Migjenit tone te madh,
"O si nuk kam nje grusht te forte ti bi mu n zemer malit q zba zane...."
Mjaft nuk mund te durohet me ekstremizmi dhe fyerja greke
ndaj historise dhe popullit shqiptar...
Shqipetar mos rri po duku Shqipetar
.....
domenica 13 aprile 2008
sabato 12 aprile 2008
venerdì 4 aprile 2008
Hollivudi film për Skënderbeun
Warner Bros me ne fund do te realizoje endrren qe heroi shqiptar te perjetesohet ne nje realizim madheshtor kinematografik te papare deri me sot
Bota ka shtatë sheshe me emrin e Skënderbeut, shtatë buste në kryeqytetet kryesore dhe emri i Heroit Kombëtar është në të gjitha enciklopeditë botërore. Por tashmë, figura e tij pritet të lidhet me një film që do të dalë nga studiot e prodhimit të Hollivudit. Projekti që prej kohësh diskutohet në Shqipëri, duket se do të marrë udhë shumë shpejt nga kompania prestigjioze “Warner Bros”. Shqiptarë të diasporës dhe komunitetit shqiptar në Amerikë prej kohësh kanë ndërmarrë një fushatë, ku me anë të një peticioni i kërkojnë kompanisë të marrë përsipër realizmin e një filmi për Heroin tonë Kombëtar. Pas dokumentarit të prezantuar në SHBA një vit më parë për jetën e Gjergj Kastriot Skënderbeut, tashmë një prej producentëve të njohur amerikanë pritet të marrë përsipër realizmin e filmit. Një vit më parë, “Illyria Entertainment Group” prezantoi në Miçigan të SHBA-ve një film dokumentar mbi jetën e heroit kombëtar, Gjergj Kastriot Skënderbeu. Dokumentari ende nuk është bërë publik i plotë, por qarkullon në formën e spoteve publicitare në sajte të ndryshme ndërkombëtare. Dokumentari cilësohet si një nga prekte më të rëndësishëm që do të shërbejë për të njohur figurën e Skënderbeut. Ndërkohë që publikimi i këtij dokumentari pritet të zgjojë edhe interesin e producentëve të ndryshëm, për ta marrë seriozisht mundësinë e një filmi artistik për jetën e Heroit tonë Kombëtar, ndërsa së shpejti pritet që në kinematë botërore të shfaqet filmi më i ri mbi jetën e Skënderbeut.
mercoledì 2 aprile 2008
domenica 16 marzo 2008
Tragjedia Gerdec ... Shperthimi i depos armeve
Shpërthim shkatërrues pranë Tiranës. 5 të vdekur, 243 të plagosur. Evakuohen banorët e disa fshatrave
Mesdita e djeshme ka rezultuar fatale për të paktën pesë persona që kanë humbur jetën, teksa në mënyrë të papritur ambientet e repartit ushtarak në Gërdec të Vorës janë bërë qendër e shpërthimit të municioneve që ndodheshin aty për t‘u shpërbërë. Rreth orës 12:00, në repartin ushtarak, i cili ndodhet jo shumë larg autostradës Tiranë-Durrës, për arsye që ende nuk dihen ka ndodhur një shpërthim i fuqishëm, i cili ka shkaktuar dëme njerëzore dhe materiale deri në Vorë dhe në disa biznese që ndodhen përgjatë autostradës. Sipas burimeve jozyrtare, në momentin e shpërthimin në repart ishin ndodheshin 110 punëtorë, por për fat të mirë kanë qenë në kohën e pushimit dhe kjo e ka ndihmuar një pjesë të mirë të tyre të largohet me dëmtime të lehta.
lexo me teper
giovedì 13 marzo 2008
Melburn, në grep peshkaqeni gjigand
Është një fotografi që duhet ruajtur në kornizë sepse tregon një nga ato ngjarjet që mund të ndodhim vetëm një herë në jetën e një peshkatari. Bill Athanasslies, nga Melburni kishte dalë në det që prej orës 5:30 të mëngjesit. Gjatë kohës së peshkimit ai ka mundur të kapë një peshkaqen që peshonte 250 kilogram. Shqetësuese sipas peshkatarit është fakti që peshkaqeni është kapur jo shumë larg plazhit të frekuentuar nga pushuesit...
lunedì 10 marzo 2008
Hymni i Flamurit
Hymni Kombetar
Rreth flamurit të përbashkuar,
Me një dëshirë dhe një qëllim,
Të gjithë Atje duke u betuar,
Të lidhim besën për shpëtim.
Prej lufte veç ai largohet,
Që është lindur tradhëtor,
Kush është burrë nuk friksohet,
Po vdes, po vdes si një dëshmor.
Në dorë armët do t'i mbajmë,
Të mbrojmë Atdheun në çdo kënd,
Të drejtat tona ne s'i ndajmë,
Këtu armiqtë s'kanë vend.
Se Zoti vet e tha me gojë,
Që kombet shuhen përmbi dhé,
Po Shqipëria do të rrojë,
Për të, për të luftojmë ne.
sabato 8 marzo 2008
venerdì 7 marzo 2008
giovedì 6 marzo 2008
Njerezit me te pasur ne Bote
lexo me teper
mercoledì 5 marzo 2008
Nokia Morph Concept Again
Scrivo di nuovo riguardo a Nokia Morph Concept, il telefonino del futuro.
Pero e' molto piu di un telefonino, perche' fa di tutto e di piu'.
Per avere qualche dettaglio in piu' basta che leggette la pagina ufficiale di Nokia al riguardo....
Ps. Oggi sono anche un po giu di Morale perche' il Milan ha perso con l'Arsenal ieri 0 a 2.
Mi spiace pero sono anche contento perche' era ora che i dirigenti del Milan si muovessero per cercare di rinforzare la squadra...
Ciao ciao
lunedì 3 marzo 2008
I vincitori del Festival di Sanremo 2008
Questa e' la canzone vincitrice del Festival della canzone Italiana per l'edizione 2008.
Una edizione che ha registrato i minimi di ascolti di sempre.
Esprimete le vostre opinioni al riguardo, e se la canzone vincitrice
vi sembra da numero uno.... ciao ciao
domenica 2 marzo 2008
venerdì 29 febbraio 2008
mercoledì 27 febbraio 2008
Nokia Morph Concept
Morph, il telefonino della prossima generazione che si può trasformare.
Trasformare, si avete letto bene, si può trasformare.
Se non credete basta che guardate il video...
Incredibile....
martedì 26 febbraio 2008
Big Brother Albania
Sic e dini ka filluar Big Brother Albania. Formati i njohur tashme ka zbritur edhe ne shqiperi.
Por duhet kujtuar se nje reality show i njejte ka disa vjet qe zhvillohet ne Shqiperi. Ai eshte kafazi i arte.
Ne shqiperi sic dihet cdo gje behet nga dy here :)....
Keshtu ne kemi Miss Shqiperia dhe Mis Albania. Tani kemi Big Brother Albania dhe Kafazi i Arte.
Te shofim kush do dali fitimtar. Un ve bast per Big Brother Albania ....
lunedì 25 febbraio 2008
venerdì 22 febbraio 2008
giovedì 21 febbraio 2008
mercoledì 20 febbraio 2008
Flamuri i Kosoves / Kosovo's Flag/La bandiera del Kosovo
domenica 17 febbraio 2008
FREE KOSOVO
lunedì 14 gennaio 2008
Nuk di ca t them...
Po bej kohe qe nuk shkruaj ke blogu dhe sot se si mu kujtu keshtu kot...
Jam n lab duke stampu po meqenese nuk punojn stampantet thash po bej nje postim...
Uroj t gjithve nje vit sa me te mbare...
Qofte nje vit i sukseshem per t gjithe...
Milani tani duke se e ka marr veten me ardhjen a pato...
Fitoi 5 me 2 me napolin..
ika se nuk di ca t shkruj me