Lucrarea este util tuturor celor interesati de activitatea de programare, att programatorilor orientati ctre domeniul Inteligentei Artificiale, ct si programatorilor n limbajele imperative, care vor folosi astfel experienta cstigat n domeniul programrii declarative ca un alt punct de vedere n ceea ce priveste problematica realizrii aplicatiilor informatice. Cartea trateaz paradigma de programare declarativ plecnd de la experienta cititorului n paradigma imperativ. n felul acesta, deprinderile necesare unei programri 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 programrii functionale. Este prezentat construcia programelor Prolog, predicatele standard ale limbajului. Se descrie mecanismul de rationare Prolog folosind Backtrackingul, modalittile de controlare a Backtracking-ului, de tratare a recursivittii 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)