Prin cunoscuta programare declarativ˘a ˆın¸telegem paradigma de programare ˆın care programatorul define¸ste ceea ce trebuie ˆındeplinit de program f˘ar˘a a defini modul ˆın care acesta trebuie s˘a fie implementat. Cu alte cuvinte, abordarea se concentreaz˘a pe ceea ce trebuie atins ˆın loc s˘a instrui¸ti cum se poate realiza. Deci, este diferit de un program imperativ care are setul de comand˘a pentru a rezolva un anumit set de probleme, descriind pa¸sii necesari pentru a g˘asi solu¸tia. Instrumentele ˆın programarea declarativ˘a sunt furnizate programatorilor pentru a permite abstractizarea implement˘arii ¸si pentru a ajuta la concentrarea problemei. Un program scris ˆıntr-un limbaj logic const˘a dintr-un set de propozi¸tii, ˆıntr-o form˘a logic˘a, ˆın care se exprim˘a fapte ¸si reguli despre problem˘a. Astfel, se descrie ce anume este o solu¸tie pentru problem˘a, nu modul ˆın care se ajunge la ea. Solu¸tia este c˘autat˘a ˆın mul¸timea de fapte, cu ajutorul setului de reguli. Aceast˘a abordare de programare ajut˘a la crearea codului mai inteligibil. Un aspect aparte al program˘arii declarative ˆıl constituie simplificarea program ˘arii, reducˆand la minimum mutabilitatea. Structurile de date imuabile ajut˘a la eliminarea erorilor greu de detectat ¸si sunt mai u¸sor de gestionat. ˆIn plus, se reduc efectele secundare ale st˘arii, favorizˆand utilizarea unor constructe complexe, cum ar fi func¸tii ¸si conducte de ordin superior ¸si descurajˆand variabilele. ˆIn aceast˘a ordine de idei, ˆın raport vor fi prezentate probleme rezolvate cu ajutorul program˘arii declarative, inclusiv popularul test de inteligen¸t˘a al lui Einstein. Albert Einstein a scris ˆın secolul trecut un test de inteligen¸t˘a, care ar trebui rezolvat ˆın cel mult 20-30 de minute. Geniul german punea problema ˆıntr-un mod aparent simplu, dar cu un num˘ar extraordinar de variabile. ˆIns˘a, autorul la ceva timp dup˘a compunerea testului de logic˘a a declarat, c˘a numai 2% dintre cei care au ˆıncercat s˘a-l rezolve au reu¸sit s˘a ob¸tin˘a solu¸tia. Deci, mai ˆın glum˘a mai ˆın serios, accept˘am provocarea de a ne reg˘asi printre cei ce rezolv˘a cu succes testul de inteligen¸t˘a al lui Einstein.