queries can span multiple logical databases fixes #6

*logic-db* is now *logic-dbs*
with-db can be nested
fact creation no longer uses *logic-db* as basis - basis must be specified