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 RollLaboratoare
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]