Lucrarea este utilă tuturor celor interesati de activitatea de programare, atât programatorilor orientati către domeniul Inteligentei Artificiale, cât si programatorilor în limbajele imperative, care vor folosi astfel experienta câstigată în domeniul programării declarative ca un alt punct de vedere în ceea ce priveste problematica realizării aplicatiilor informatice. Cartea tratează paradigma de programare declarativă plecând de la experienta cititorului în paradigma imperativă. În felul acesta, deprinderile necesare unei programări declarative eficiente sunt mai usor de format. Sunt trecute în revistă elementele de bază ale limbajului Lisp, metoda variabilei colectoare, gestiunea obiectelor în Lisp, problematica functiilor cu acces destructiv, problematica mecanismelor definitionale evoluate si a functiilor Lisp cu argumente functionale, argumentele optionale si macrodefinitiile, precum si alte aspecte ale programării functionale. Este prezentată construcția programelor Prolog, predicatele standard ale limbajului. Se descrie mecanismul de rationare Prolog folosind Backtrackingul, modalitătile de controlare a Backtracking-ului, de tratare a recursivitătii si a repetitiei în Prolog. Sunt de asemenea abordate problematica obiectelor compuse, baza de date internă a sistemului Prolog si tratarea fisierelor în Prolog. (186 pagini)