swipl怎么写.pl文件

SWI-Prolog是一种广泛使用的Prolog方言，编写`.pl`文件（Prolog源文件）通常包含逻辑规则、事实声明以及一些元编程元素。下面是一个简单的例子，展示了如何在一个`.pl`文件中编写：

% 定义一个事实
father(michael, john).

% 定义一个谓词规则 (predicates)
likes(Person, Hobby) :-
   person_info(Person, hobby(Hobby)).

% 描述一个数据结构 (事实)
person_info(john, [reading, swimming]).

% 谓词规则示例 - 当Person的信息中有Hobby时，喜欢该活动
hobby(reading) :- true.
hobby(swimming) :- true.

% 查询示例
?- likes(john, Hobby).

在这个例子中：
- `father(michael, john)` 定义了一个事实，表示Michael是John的父亲。
- `likes/2` 是一个谓词，它查询一个人是否喜欢某种爱好。
- `person_info/2` 作为数据结构，存储了人物及其爱好。
- 最后的查询`likes(john, Hobby)`试图找出John喜欢的爱好。

要运行这个程序，你需要在命令行或SWI-Prolog交互模式下加载这个文件，例如：

| ?- read('example.pl').