如何解决用于声明一个对象大于另一个对象的Prolog谓词?
我正在尝试编写一些简单的Prolog代码来比较对象,并让我们知道一个对象大于另一个对象。例如,
larger(star,gasgiant).
larger(gasgiant,rockyplanet).
larger(rockyplanet,moon).
列出的第一项大于列出的第二项。这是我一直想用来定义的关系:
larger(X,Y) :- X > Y.
这是定义这种关系的正确方法吗?
解决方法
这是定义这种关系的正确方法吗?
可以这样定义:
larger(X,Y):- compare(>,X,Y).
或者简单地
larger(X,Y):- X @> Y.
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。