Python中的逻辑统一
logical-unification的Python项目详细描述
逻辑统一
Logical unification在Python中,可通过调度进行扩展。在
安装
使用pip
:
pip install logical-unification
从源安装:
^{pr2}$可以使用提供的Makefile
运行测试:
make check
示例
unification
内置了对大多数Python数据类型的支持:
>>>fromunificationimport*>>>unify(1,1){}>>>unify(1,2)False>>>x=var('x')>>>unify((1,x),(1,2)){~x:2}>>>unify((x,x),(1,2))False
可以使用unifiable
修饰符使自定义类“统一”:
@unifiableclassAccount(object):def__init__(self,id,name,balance):self.id=idself.name=nameself.balance=balance>>>data=[Account(1,'Alice',100),Account(2,'Bob',0),Account(2,'Charlie',0),Account(2,'Denis',400),Account(2,'Edith',500)]>>>id,name,balance=var('id'),var('name'),var('balance')>>>[unify(Account(id,name,balance),acct)foracctindata][{~name:'Alice',~balance:100,~id:1},{~name:'Bob',~balance:0,~id:2},{~name:'Charlie',~balance:0,~id:2},{~name:'Denis',~balance:400,~id:2},{~name:'Edith',~balance:500,~id:2}]>>>[unify(Account(id,name,0),acct)foracctindata][False,{~name:'Bob',~id:2},{~name:'Charlie',~id:2},False,False]
unification
还支持通过模式匹配进行函数分派:
>>fromunification.matchimport*>>>n=var('n')@match(0)deffib(n):return0@match(1)deffib(n):return1@match(n)deffib(n):returnfib(n-1)+fib(n-2)>>>map(fib,[0,1,2,3,4,5,6,7,8,0])[0,1,1,2,3,5,8,13,21,34]
模式匹配可能相当复杂:
>>name,amount=var('name'),var('amount')@match({'status':200,'data':{'name':name,'credit':amount}})defrespond(name,amount):balance[name]+=amount@match({'status':200,'data':{'name':name,'debit':amount}})defrespond(name,amount):balance[name]-=amount@match({'status':404})defrespond():print("Bad Request")
请参阅examples directory中的完整示例。在
性能和可靠性
unification
当前的设计允许对打破Python堆栈递归限制的嵌套结构进行统一和具体化。与简单的基于堆栈的递归统一/重组相比,这种可伸缩性带来了开销成本。在
关于
这个项目是^{
- 项目
标签: