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ă.

Testare de Laborator - 14 aprilie 2025, ora 14

Material de laborator permis
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]

Laboratorul 8: Introducere în Haskell

Seminare

Seminarul 1: Elemente de calcul cu mulțimi. Introducere în calculul propozițional
Seminarul 2: Semantica logicii propoziționale