:-use_module(library(clpfd)).

employees([
   [1, 75, 0, 30, 25],
   [2, 83, 0, 45, 25],
   [3, 90, 1, 45, 50],
   [4, 45, 3, 75, 25],
   [5, 89, 0, 52, 50]
   ]).

eligible(E):-
    check_employee(E),
    employees(Es),
    tuples_in([E], Es),
    label(E).

check_employee([_, Rv, Sf, Tm, Pr]):-
    Rv #>= 80, Sf #=< 1, Tm #> Pr.