% From The Art of Eyepl, Chapter 7.
allowed(User) :-
  user(User),
  not(blocked(User)).