logic programming - Using pyDatalog for constraint stores -

consider following rules:

pydatalog.create_atoms('x') pydatalog.create_atoms('y')  pydatalog.create_atoms('a') pydatalog.create_atoms('b')  b(x,1) <= (x<0) b(x,y) <= (x==1) & (y>0) a(x,y) <= b(x,y) & (x>0) 

and problem of finding constraints satisfy: a(x,1)

the question is: can use pydatalog come list [(x==1)] ? or [(x>0), (x==1)]?

thanks,

unfortunately not, @ least current version :-)

pydatalog can solve discrete constraint problems, not general constraint problems 1 describe. pydatalog can return values, not criteria x>0.

note: can combine first 4 statements in one:

pydatalog.create_atoms('x, y, a, b')