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

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

Seminare

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