写一个一个简单的Turbo Prolog程序

下面是一个简单的Turbo Prolog程序，用于查询一个人是不是男性：

male(john).
male(bob).
male(tom).

is_male(X) :- male(X).

这个程序定义了三个男性的事实（fact）：John、Bob 和 Tom。然后，它定义了一个谓词（predicate）is_male，用于查询一个人是不是男性。如果一个人是男性，那么他应该出现在男性的事实之中。

我们可以通过在Turbo Prolog的交互式环境中输入下面的查询，来测试这个程序：

| ?- is_male(john).
yes

| ?- is_male(lisa).
no

第一个查询询问 John 是否是男性。程序返回了 yes，表明 John 是男性。第二个查询询问 Lisa 是否是男性。程序返回了 no，表明 Lisa 不是男性。

这个程序很简单，但是它展示了Turbo Prolog的基本语法和查询机制。如果你想进一步学习Turbo Prolog，可以尝试编写更复杂的程序，如描述亲属关系、实现逻辑推理等。