Programare logică și programare funcțională. Teorie și aplicații

Subiectul abordat în lucrare este paradigma programării declarative, fiind prezentate două stiluri de programare declarativă, programarea logică și programarea funcțională, însoțite de două exemple de limbaje de programare specifice, limbajul de programare logică Prolog și limbajul de programare funcțională Haskell. Unul din scopurile lucrării este acela de a furniza un set de indicații privind tipurile de probleme ce se pot rezolva eficient cu aceste paradigme, ca un ghid orientativ privind alegerea celui mai potrivit stil de programare.