* main_codequery.ml: use facts.db, not prolog_compiled_db
* h_program-lang/datalog_code.ml: comment