Prolog，打印具有相同姓名的员工

% 定义员工的姓名和工号
employee(john, 1001).
employee(jane, 1002).
employee(john, 1003).
employee(mary, 1004).

% 定义规则，打印具有相同姓名的员工
print_same_name_employees(Name) :-
    employee(Name, ID1),
    employee(Name, ID2),
    ID1 \= ID2,  % 确保工号不同，避免重复打印同一个员工
    format('Employee ~w has the same name: ~w and ~w~n', [Name, ID1, ID2]).

% 查询具有相同姓名的员工
?- print_same_name_employees(john).

Employee john has the same name: 1001 and 1003