在Prolog中，定义事实的基本语法是使用`fact_name（fact_arguments）.`结构，其中`fact_name`是事实的名称，`fact_arguments`是事实的参数。例如，定义一个简单的事实`likes（john, pizza）.`表示John喜欢Pizza。如果需要定义多个事实，可以分多行进行表示。
定义事实
定义一个事实`male（di）.`表示Di是男性。
定义多个事实`female（jianbo）.`、`female（xin）.`、`female（yuan）.`表示Jianbo、Xin和Yuan是女性。
加载和编译程序
使用`consult（'~/prolog/chapter2.pl'）.`命令加载并编译Prolog程序文件`chapter2.pl`。
查询事实
在Prolog交互式环境中，可以使用`？-`提示符来查询事实。例如，`？- male（di）.`将返回`true`，表示Di是男性。
输出事实
使用`write`和`writeln`函数可以输出事实。例如，`？- write（'22'）,nl,write（'23'）.`将输出`22`和`23`，并在每个输出后换行。
通过这些步骤和示例，你可以更好地理解如何在Prolog中定义和使用事实。