A json predicate logic database (similar to datalog)