用prolog编写众星关系图

在Prolog中，我们可以创建一个众星关系图，通常会使用谓词来表示实体之间的关系。假设我们有演员、电影等实体，以及它们之间相关的属性，比如"主演"和"导演"等。下面是一个简单的示例：

% 定义演员和电影的知识库
actor(john_doe, film1).
actor(mary_jane, film1).
actor(leonardo_dicaprio, film2).
director(leonardo_dicaprio, film2).
director(quentin_tarantino, film2).

% 定义一个通用的关系查询，表示两个人是否有共同出演的电影
co_star(Actor1, Actor2, Film) :-
   actor(Actor1, Film),
   actor(Actor2, Film).

% 查询众星关系图
query_stars :-
   co_star(A, B, Film),
   write('Actor '), writeln(A), writeln('and'), writeln(B), writeln('starred together in '), writeln(Film), nl.

% 使用query_stars来获取所有演员之间的合作关系
?- query_stars.

在这个例子中，`query_stars`会列出所有共享一部电影的演员组合。如果你想增加其他关系或更复杂的数据结构，只需添加相应的规则即可。