我将如何在谓词逻辑中表示以下prolog语句? [英] How would I represent the following prolog statement in predicate logic?

问题描述

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

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

hates(amy, X).

推荐答案

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

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

\forall x hates(amy,x)

通常，对程序中出现的Prolog变量进行通用量化，而对查询中发生的Prolog变量进行整体量化.例如，在FOL中，?- hates(amy,x).将由\exists 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.

这篇关于我将如何在谓词逻辑中表示以下prolog语句?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！