Querying could be done with XSB

[Bart Bogaerts]

the query inference now works with BDDs

could be done by xsb (simple definition)

But! Be careful, this inference also works with 3-valued structures, hence the definition should be translated carefully to XSB