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

在Prolog语言中，我们可以使用它强大的逻辑推理能力来编写描述"众星关系图"的程序。Prolog是一种基于规则的语言，特别适合表示复杂的数据结构和关系。假设我们有演员(Actor)、电影(Movie)和参演(acts_in)等关系，我们可以这样设计：

% 定义数据结构
actor(Id, Name).
movie(Id, Title).

% 表示演员参演电影的关系
acts_in(ActorId, MovieId, Year).

% 示例数据
actor(1, '张三').
actor(2, '李四').
actor(3, '王五').
movie(1, '电影A', 2000).
movie(2, '电影B', 2005).
movie(3, '电影C', 2010).
acts_in(1, 1, 2000).
acts_in(1, 2, 2002).
acts_in(2, 2, 2005).
acts_in(3, 3, 2010).

% 查询函数，例如查询某人参演的所有电影
find_movies_by_actor(ActorName, Movies) :-
    actor(Name, ActorName),
    acts_in(ActorId, _, _), % 使用通配符_匹配任意值
    findall(Movie, (acts_in(ActorId, MovieId, _), movie(MovieId, _, _)), Movies).

% 或者查询特定年份所有电影的演员列表
find_actors_for_movie_year(MovieTitle, Year, Actors) :-
    movie(MovieId, Title, Year),
    acts_in(_, MovieId, Year),
    findall(Actor, (acts_in(ActorId, _, Year), actor(ActorId, Actor)), Actors).

%