如何解决python逻辑拼图关系
在python中尝试使用Logic解决以下问题:
from kanren import run,eq,membero,var,conde
from kanren.constraints import neq,isinstanceo
rules = (eq,(var(),var(),var()),people),(membero,(4,x,('Steve','blue',var() ),people)),( var(),'cat','Canada' ),('Matthew','USA' ),'black','Australia'),('Jack',('Alfred','dog','France' ),'rabbit',people))
结果:
(<function kanren.goals.membero(x,ls)>,~_2,(~_2422,~_2423,~_2424),~_809))
这让我无法跑步
solutions = run(0,people,rules)
你能帮我解决一个问题吗?
谢谢。
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。