Conceptual si aplicativ in programarea logica si functionala

Prezenta lucrare este rezultatul unui demers răbdător al autorului, care a dorit să le ofere, îndeosebi, studenţilor decişi să exploreze lumea tehnologiilor IT o modalitate de iniţiere în cele două paradigme de programare, oarecum mai exotice: paradigma logică şi paradigma funcțională. Două paradigme în spatele cărora se află matematică multă şi un suport excepțional pentru practicarea meseriei de programator la standarde apropiate de exigenţele academice. Limbajele de programare alese pentru a ilustra specificul celor două paradigme sunt: Turbo Prolog și Haskell. Mai multe despre această alegere, la timpul potrivit.