标签: prolog singleton
我想弄清楚是否有可能将以下语句转换为术语( not relations ),但在编译时没有 Singleton变量:PERSON 的警告。
亚历克斯喜欢每个喜欢冰淇淋的人。
我的以下逻辑获取了我想要删除的单例警告。代码工作正常。
likes(alex,likes(Person,icecreams)).
答案 0 :(得分:0)
以下内容与您的尝试相同,没有警告:
likes(alex,likes(_,icecreams)).