用prolog编程编写描述“众星关系图”程序

在Prolog中，我们可以使用谓词和规则来编写一个简单的“众星关系图”程序，这个程序会模拟演员之间的合作关系。假设我们有两个基本的数据结构，一个是`actor/2`表示演员姓名和作品，另一个是`co_starring/2`表示两个演员的合作关系。以下是简单的示例：

% 定义演员和他们的作品
actor(john_doe, "电影A").
actor(mary_jane, "电影B").
actor(peter_parker, "电影A", "电影B").

% 定义合作关系
co_starring(_Actor1, _Actor2) :-
   actor(Actor1, _, _),
   actor(Actor2, _, _).

% 查询特定演员的合作关系
co_starred(Actor, Partner) :-
   actor(Actor, _, _),        % 检查Actor是否存在
   co_starring(Actor, Partner). % 查找与Actor合作过的演员

% 查询所有与john_doe合作的演员
co_starring_with_john_doe(CoStar) :-
   actor(john_doe, _, _),
   co_starring(john_doe, CoStar).

在这个程序中，你可以通过调用`co_starred/2`查询，如`?- co_starred(john_doe, Partner)`，来获取与John Doe合作的演员。同样，可以使用`co_starring_with_john_doe/1`来得到所有信息。