问Prolog函子，swi-prolog
EN

Stack Overflow用户

提问于 2022-10-07 13:24:42

回答 1查看 68关注 0票数 1

通过定义一个函子来检查谓词函子(术语，F，A)是否成功

我试过的代码是

喜欢(玛丽，披萨)

这是正确的吗？

回答已采纳

发布于 2022-10-07 13:48:39

?- functor(likes('Mary', pizza), Name, Arity).
Name = likes,
Arity = 2.

?- functor(Term, likes, 2).
Term = likes(_,_).

注意:变量以大写字母开头，所以Mary值是'Mary'，因为Mary是对变量的引用。

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/73987851

复制

相似问题

问Prolog函子，swi-prologEN