Changes the Ids through Cl so that there is no conflict with other clauses already present in the analysis.
Removes from the database all clauses for predicate Pred of the form F/A and returns them in Cls.
Asserts the list of clauses Cls to the temporal database.
This predicates adds predicates which were not defined before.
This predicate is needed for the initialization of the counters for Ids.
Updates the value of the last id assigned by the program_keys module.
Sets the context (as a list of loaded modules) of the incremental analysis.
Returns the list of currently loaded modules.