(run-db* db bindings & goals)
Executes goals until results are exhausted. Uses a specified logic database.