Programare Logică și Funcțională

Pe acestă pagină găsiți suportul pentru activitățile de laborator și seminar la materia Programare Logică și Funcțională.

Examen & Testare Haskell - 5 iunie, ora 10

Material permis pentru partea teoretică
Material Haskell (work in progress) (puteți exporta în orce format)

Testare Prolog - 27 aprilie 2026

Material de laborator permis (printat/scris de mână)
Exercitii de antrenament [Soluție]

Laboratoare

Laboratorul 1: Introducere în limbajul Prolog - sintaxă, programe, aritmetică și recursivitate
[Soluție]

Laboratorul 2: Liste și recursivitate
[Soluție]

Laboratorul 3: Implementarea evaluărilor în calculul propozițional
[Soluție]

Laboratorul 4: Algoritmul de unificare. Probleme de căutare
[Soluție]

Laboratorul 5: Probleme de căutare
[Soluție]

Exerciții de antrenament


Laboratorul 8: Introducere în Haskell
[Soluție]

Laboratorul 9: Liste, funcții de nivel înalt, tipuri de date algebrice
[Soluție]

Laboratorul 10: Foldable. Tipul Maybe. Evaluări propoziționale.
[Soluție]

Model testare (cu rezolvare)

Seminare

Selecție de probleme pentru seminar
Seminarul 1: Elemente de calcul cu mulțimi. Introducere în calculul propozițional