我如何在谓词逻辑中表示以下prolog语句？

Question

您如何将以下prolog语句转换为谓词逻辑？

hates(amy, X).

Answer 1

使用LaTeX的\forall来表示通用量词，hates(amy,x).的含义是：

\forall x hates(amy,x)

通常，程序中出现的Prolog变量是普遍量化的，查询中出现的Prolog变量是存在量化的。例如，?- hates(amy,x).将在FOL中由\exists x hates(amy,x)表示。