venerdì 20 giugno 2008

OH YES!!!!!!!!!!!!!!!!!!!!!!!!

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ì 29 aprile 2008

domenica 20 aprile 2008

Portokalli - SHBLSH - Ce Posta Per Te

Portokalli 8-3 , Grupi Polifonik i Policeve, Keng Per Nanon

Windows Vista, Service Pack 1


Dopo poco più di un anno dall’uscita del nuovo sistema operativo marchiato Microsoft è stato reso disponibile in maniera ufficiale dal 18 Aprile 2008 il primo Service Pack per Windows Vista. Mentre qualcuno potrebbe dire "Di già?”, la maggior parte degli utenti esclamerà esaltata "Era ora". Il Service Pack è stato atteso come un messia da molti utenti, delusi dal nuovo sistema operativo.

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.

more

martedì 15 aprile 2008

The best of portokalli 2006

the shblsh & polici

Portokalli 8-10 , The SHBLSH - Shqiptaret drejt Evropes

Shqiptare reagoni .... U mbush kupa ne HIMARE

Keto ditet e fundit kam degjuar nepermjet mediave
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
.....

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.

lexo me teper


domenica 16 marzo 2008

Tragjedia Gerdec ... Shperthimi i depos armeve

Lemeria e paralajmëruar

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.

venerdì 7 marzo 2008

giovedì 6 marzo 2008

Njerezit me te pasur ne Bote

Vetëm disa vjet më parë, bankierët e fuqishëm, fluturonin drejt Nju-Jorkut, Londrës dhe Frankfurtit për të propozuar biznese të reja, mënyra të reja blerjesh dhe marrëveshje të reja bashkëpunimi, ndërsa sot, i sheh teksa zbresin thuajse çdo ditë në dy aeroportet ndërkombëtare më të mira të Emirateve të Bashkuara Arabe, në Dubai dhe Abu Dhabi, qëndrojnë disa ditë në hotelet me shtatë yje dhe më pas nisen për në Indi, Kinë, Amerikë Latine, Rusi dhe Evropën Qendrore. Ndryshojë fatet dhe njëkohësisht tregjet e botës. Debutojnë të ashtuquajturat ekonomi me zhvillim të shpejtë, me një rritje që shkon nga 7 deri në 15 për qind dhe në shtatë vjet, kanë "pushtuar" thuajse 20 për qind të GDP-së globale. Me sa duket, nuk do të jetë vetëm gjeopolitika ajo që do ta zhvendosë qendrën e gravitetit, nga SHBA-ja, superfuqia e dikurshme, drejt një pjese tjetër të botës. Edhe fuqia ekonomike decentralizohet, duke nxjerrë protagonistë të rinj, padronë të rinj që sfidojnë hapur në shoqëritë e përparuara kampionët e vjetër të industrisë, financës, të tregtisë. Janë sheikë të pasur arabë, që nuk i shpenzojnë më lekët për shërbime luksoze si në vitet ‘70-‘80, por mendojnë për të ardhmen duke e ditur mirë që një ditë, nafta do të mbarojë. Janë njerëz që investojnë në shoqëritë shumëkombëshe në vështirësi apo në gjigantët bankarë të destinuar për të dështuar. Sipërmarrës që operojnë në shkallë globale, që besojnë te të rinjtë e dalë nga universitetet më të mira të botës, por mbi të gjitha dinë të rrezikojnë. Sipas raportit të "Boston Consulting Group", pjesa më e madhe e këtyre sfiduesve vijnë nga Kina dhe India, por pas nuk ngelen edhe vende si: Meksika, Brazili, Turqia dhe Hungaria.
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

venerdì 29 febbraio 2008

Durres, where are u ...



Would like right now to be summer, and i was back home...
Nice lovely holiday

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

Ethet -- Fiton Kejsi Tola




And the winner is Kejsi Tola

venerdì 22 febbraio 2008

Eminem -- Lose Yourselt






One of my favourite songs 4-ever........

mercoledì 20 febbraio 2008

Flamuri i Kosoves / Kosovo's Flag/La bandiera del Kosovo

Ky eshte flamuri i Kosoves, shtetit me te ri ne bote...
Gezuar edhe nje here pavaresine......

This is Kosovo's Flag, the newest nation on earth...

Questa e' la bandiera del Kosove, lo stato piu' recente al mondo...

domenica 17 febbraio 2008

FREE KOSOVO




This post is dedicated to COSOVO'S FREEDOM,
At last things are the way thay should be, justice in the end is done.....
and the blood of thousand's of albanians is honored...

Free Cosovo

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