klauzula_do_listy_literalow(Zmienna,Klauzula,L-Wsk):-
  klauzula_do_listy_literalow(Zmienna,Klauzula,L-L,Wsk).
klauzula_do_listy_literalow(Zmienna,Klauzula,_-Wsk,Wsk):-
  atom(Klauzula),
  Zmienna=Klauzula,!.
klauzula_do_listy_literalow(_,~Klauzula,_-Wsk,NowyWsk):-
  atom(Klauzula),
  Wsk=v(~Klauzula,NowyWsk),!.
klauzula_do_listy_literalow(_,Klauzula,_-Wsk,NowyWsk):-
  atom(Klauzula),
  Wsk=v(Klauzula,NowyWsk),!.
klauzula_do_listy_literalow(Zmienna,X v R,Lista_literalow-Wsk,NowyWsk):-
  Zmienna=X,
  klauzula_do_listy_literalow(Zmienna,R,Lista_literalow-Wsk,NowyWsk),!.
klauzula_do_listy_literalow(Zmienna,~X v R,Lista_literalow-Wsk,NowyWsk):-
  Wsk=v(~X,Wsk2),
  klauzula_do_listy_literalow(Zmienna,R,Lista_literalow-Wsk2,NowyWsk),!.
klauzula_do_listy_literalow(Zmienna,X v R,Lista_literalow-Wsk,NowyWsk):-
  Wsk=v(X,Wsk2),
  klauzula_do_listy_literalow(Zmienna,R,Lista_literalow-Wsk2,NowyWsk),!.
/*