Conceptual și aplicativ în programarea logică și funcțională

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.