Fundamente de informatică - Tema 5

1. a) Generaţi toţi rezolvenţii a două clauze (date ca mulţimi/liste de literali)
   b) Aceeaşi problemă pentru clauze în calculul predicatelor.
2. Implementaţi algoritmul de verificare a realizabilităţii prin rezoluţie (care încearcă să derive clauza vidă şi se opreşte când nu mai poate genera rezolvenţi).
   Trataţi cazul propoziţional, sau în cazul logicii predicatelor, generaţi rezolvenţii în lărgime, pe nivele succesive.
3. Implementaţi conversia în formă clauzală pentru calculul predicatelor.