%True and False
%----------------------------------------------
add(X, (X,f)).
add(X, (X,t)).
%----------------------------------------------

%simple solve
%----------------------------------------------
smplSolve(L, S):-
smplSolve(L, [], S).

smplSolvet([], R, R).
smplSolve([H|T], R, A) :-
add(H, X),
smplSolve(T, [X|R], A).
%----------------------------------------------