如何在Prolog中定义事实

在Prolog中，可以使用以下语法定义事实：

fact_name(fact_arguments).

其中，fact_name是事实的名称，fact_arguments是事实的参数。例如，定义一个简单的事实：

likes(john, pizza).

这个事实表示john喜欢pizza。在Prolog中，这个事实可以被查询和使用来推理其他事实或规则。定义多个事实可以使用多行来表示：

likes(john, pizza).
likes(mary, chocolate).

这个例子中，定义了两个事实，分别表示john喜欢pizza和mary喜欢chocolate。在Prolog中，事实可以被查询和用来推理其他的事实或规则。