Prolog 英语句子到序言从句？

我最近在学习Prolog，我提出了一个问题

我怎么说：

在序言条款中，是否有员工开车、走路、骑车或乘飞机上班

“任何”都是我遇到问题的地方

---

这是我的思考过程

Employee(tom).     %tom is an employee (fact)

drives(X) :- Employee(X).    
walks(X) :- Employee(X).    
rides(X) :- Employee(X).   
flies(X) :- Employee(X).

---

这是正确的方法吗

我认为情况正好相反：

employee(X):- drives(X).
employee(X):- walks(X).
employee(X):- rides(X).
employee(X):- flies(X).

加上

驱动器

，

行走

等的事实

无论是哪位员工，都必须持有其中一份。如果没有，则

employee（X）

将失败

这就是Prolog数据库下的意思，“任何员工都可以飞行、骑乘等”

---

您所写的内容意味着，给定一个

X

，这样

员工（X）

保持，每个

驱动器（X）

，

行走（X）

等也将保持。即“任何员工步行、驾驶、乘坐和飞行”上班。（当然，谓词必须始终以小写字母开头）。

谓词名称应使用小写字母