%wyciąga z klauzuli zmienne (te zanegowane przekształca do postaci niezanegowanej), potrzebne to będzie przy sprawdzaniu jakie zmienne są w zbiorze klauzul. nie bierze pod uwagi pustych

get_vars_from_clause([],List,List).

get_vars_from_clause([H|T],List) :-
	get_vars_from_clause([H|T],[],List).


get_vars_from_clause([H|T], T1, Acc) :-
	H = [],
	get_vars_from_clause(T, T1, Acc),
	!.

get_vars_from_clause([H|T], T1, Acc) :-
	not(check_neg(H)),
	not(member(H,T1)),
	get_vars_from_clause(T, [H|T1], Acc),
	!.

get_vars_from_clause([H|T], T1, Acc) :-
	is_neg(H,A),
	not(member(A,T1)),
	get_vars_from_clause(T, [A|T1], Acc),
	!.

get_vars_from_list([],[]).
get_vars_from_list([H|T],List) :-
	get_vars_from_clause(H, List),
	get_vars_from_list(T, List).