swi-prolog Library`关联：get_assoc`赢得了统一
我正在使用Swi-Prolog的Library 关联。这是一个让我感到困惑的查询：
?- empty_assoc(E), put_assoc(K, E, V, E2), get_assoc(key, E2, 2).
false.
为什么这不统一？ 我希望它能与
E = t,
K = key
V = 2,
E2 = t(key, 2, -, t, t).
I'm using library assoc from SWI-Prolog. Here's a query which confuses me:
?- empty_assoc(E), put_assoc(K, E, V, E2), get_assoc(key, E2, 2).
false.
Why doesn't this unify?
I'd expect it to unify with
E = t,
K = key
V = 2,
E2 = t(key, 2, -, t, t).
如果你对这篇内容有疑问，欢迎到本站社区发帖提问 参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。
绑定邮箱获取回复消息
由于您还没有绑定你的真实邮箱，如果其他用户或者作者回复了您的评论，将不能在第一时间通知您！
发布评论
评论（1）
put> put_assoc/4必须用绑定键和价值来调用。尝试例如The
put_assoc/4predicate must be called with a bound key and value. Try e.g.