How would I represent the following prolog statement in predicate logic?

问题

How would you transform the following prolog statement to predicate logic?

hates(amy, X).

回答1:

Using LaTeX's \forall to denote the universal quantifier, the meaning of hates(amy,x). is:

\forall x hates(amy,x)

In general, Prolog variables that occur in a program are universally quantified and Prolog variables that occur in a query are existentially quantified. For instance ?- hates(amy,x). would be represented by \exists x hates(amy,x) in FOL.

来源：https://stackoverflow.com/questions/25840140/how-would-i-represent-the-following-prolog-statement-in-predicate-logic