/* kb6.pl */

trip_group1([M1,M2,M3]) :- is_manager(M1),has_time(M2),has_car(M3).
trip_group2([M1,M2,M3]) :- is_manager(M1),!,has_time(M2),has_car(M3).
is_manager(juyoung).
is_manager(kenhee).
is_manager(wujung).
has_time(sumi).
has_time(mimi).
has_time(sangmi).
has_car(sangho).
has_car(junho).
has_car(hojun).