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')

Comments

Post a Comment

Popular posts from this blog

linux - Does gcc have any options to add version info in ELF binary file? -

i mean whether gcc can insert source code version infor elf binary section or similar. not want change source file, add info gcc option in makefile. you can emit version info text file, turn text file object file statically link executable. the first step simple have write code: script or write version info in format plain text file. write makefile rule produce version.o version.txt, using objcopy . you'll have object file 2 useful symbols defined in it: beginning , end of textual version info. add generated object executable, , you'll able access version 2 ways: running strings on binary, or writing code in application print version string (you'll need declare start , end symbols variables in header file).
Read more

javascript - Clean way to programmatically use CSS transitions from JS? -

as title implies, there proper way set initial css properties (or class) , tell browser transition these value? for example ( fiddle ): var el = document.queryselector('div'), st = el.style; st.opacity = 0; st.transition = 'opacity 2s'; st.opacity = 1; this not animate opacity of element in chrome 29/firefox 23. because ( source ): [...] you’ll find if apply both sets of properties, 1 after other, browser tries optimize property changes, ignoring initial properties , preventing transition. behind scenes, browsers batch property changes before painting which, while speeding rendering, can have adverse affects. the solution force redraw between applying 2 sets of properties. simple method of doing accessing dom element’s offsetheight property [...] in fact, hack work in current chrome/firefox versions. updated code ( fiddle - click run after opening fiddle run animation again): var el = document.queryselector('div'...
Read more

android - send complex objects as post php java -

is possible send contact numbers via post php class inside eclipse ? or post limited primitive types , have find work arounds send them string ? i propose: send them json in post request, befor start, have @ gson project , keep in mind set content application -> json. luck
Read more