##编辑文件：
事实（以点结尾）
规则（冒号，加事实（参数用变量），用点结尾）
例如：
father(tom,jerry). father(jack,tom).
grandfather(X,Z):-father(X,Y),father(Y,Z).
##运行：
将文件导入终端
1.终端consult（翻阅对应文件）
2.[filename]. %filename:文件名
例如：[‘C:/Users/24223/Desktop/one.pl’].
输入查询语句（小写字母机开头表示常量，返回bool结果；大写字母开头表示变量，返回查询结果）
例如：
grandfather(X,jerry).
得到结果：
X = jack.