变量=术语复合prolog
提问于 2019-01-13 09:50:31
在prolog中可以执行像Variable = TermCompound这样的赋值吗？
例如:x= token (a，b，c)。
而且，如果你能做到这一点，从X可以推导出复合项的参数和函子吗？
回答 1
Stack Overflow用户
发布于 2019-01-13 13:01:45
请参阅有关=/2、functor/3、=../2和arg/3标准谓词的Prolog系统文档。示例调用：
| ?- X = token(a, b, c).
X = token(a,b,c)
yes
| ?- X = token(a, b, c), functor(X, Name, Arity).
Arity = 3
Name = token
X = token(a,b,c)
yes
| ?- X = token(a, b, c), X =.. [Name| Arguments].
Arguments = [a,b,c]
Name = token
X = token(a,b,c)
yes
| ?- X = token(a, b, c), arg(2, X, Argument).
Argument = b
X = token(a,b,c)
yes页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/54167697
复制相关文章
腾讯云开发者
