PROLOG - 无警告变量(无抑制)

时间:2017-04-23 13:01:38

标签: prolog singleton

我想弄清楚是否有可能将以下语句转换为术语( not relations ),但在编译时没有 Singleton变量:PERSON 的警告。

  

亚历克斯喜欢每个喜欢冰淇淋的人。

我的以下逻辑获取了我想要删除的单例警告。代码工作正常。

likes(alex,likes(Person,icecreams)).

1 个答案:

答案 0 :(得分:0)

以下内容与您的尝试相同,没有警告:

likes(alex,likes(_,icecreams)).