párok('A',11).  párok('B',13).
list([]). list([_|Xs]):-list(Xs).
párok('A',10).
list(Xs):-var(Xs).
alma.  alma :- alma.
