Prolog 中是否有可能断言代表数字的事实？
例如，我想使用谓词distance/2并断言诸如distance(town1, city2) = 1200.
The distance(town1, city2) = 1200term 是该术语的语法糖'='(distance(town1, city2), 1200) as (=)/2是一个标准的 Prolog 中缀运算符。(=)/2也是标准统一内置谓词。在大多数 Prolog 系统中，内置谓词不能由用户重新定义。因此，您不能为它们断言子句，因为这相当于重新定义谓词。卡洛的建议是使用distance/3谓词可能是最好的解决方案。
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
