Untitled
unknown
plain_text
2 years ago
398 B
6
Indexable
% tria(F, Lit) % Donat una CNF, % -> el segon parametre sera un literal de CNF % - si hi ha una clausula unitaria sera aquest literal, sino % - un qualsevol o el seu negat. tria(F,Lit):- member([Lit],F),!. %Si hi ha una clausula unitaria sera aquest literal tria([[Lit|_]|_],Lit). %Si es el primer literal de la primera clausula tria([[Lit|_]|_],NLit):- negatiu(Lit,NLit). %Altrament el seu negat
Editor is loading...