stypendysta(X):-
  student(X),
  bardzo_dobry(X).
  
bardzo_dobry(X):-
  srednia(X,S),
  S >= 4.0.
  
student(leon).
student(jan).

srednia(jan,4.3).
srednia(leon,3.9).