1.
大写或下划线开头的词暗示变量,小写开头的词暗示原子量;查询时必须使用大写或下划线开头的词。
2.
noun(x1, x2)
<=> x2‘s noun
is x2
such as father(Jim, Jam)
<=> Jam’s fathwer is Jim
另外,一般地,
type(x1, x2)
<=>
大写或下划线开头的词暗示变量,小写开头的词暗示原子量;查询时必须使用大写或下划线开头的词。
noun(x1, x2)
<=> x2‘s noun
is x2
such as father(Jim, Jam)
<=> Jam’s fathwer is Jim
另外,一般地,
type(x1, x2)
<=>