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

Rick Roll

Laboratoare

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

Laboratorul 2: Liste în Prolog, elemente de bază
[Solutie]

Laboratorul 3: Evaluări în calculul propozițional
[Solutie]

Laboratorul 4: Unificare în Prolog. Un puzzle și o problemă de grafuri
[Solutie]

Laboratorul 5: Algoritmi de căutare. Zebra puzzle. Arbori binari
[Solutie]

Laboratorul 6: Model - test de laborator (cu soluții)

Laboratorul 7: Testul de laborator
[Soluții Nr. 1] [Soluții Nr. 2]

Laboratorul 8: Introducere în Haskell

Seminare

[TODO 1: Introducere în calculul propozițional]
[TODO 2: Introducere în calculul cu predicate. Algoritmul de unificare]
[TODO 3: Forme normale conjunctive. Rezoluția în calculul propozițional. Sistemul deducției naturale pentru logica propozițională]
[TODO 4: Rezoluția SLD]