Module MagicRewriting.MagicSource

Log is the log module for NewMagic

make magic unique_binding_prog returns a 4-uple (magic_prog, magic_preds, magic_to_unique_binding_rule_map, magic_to_original_pred_map) where:

• magic_prog is the resulting magic program. IMPORTANT: predicates ids/name relations for existing predicate in unique_binding_prog is unchanged

• magic_preds a record containing the different magic and supplementary predicates that have been added

• magic_to_unique_binding_rule_map is a map from magic rules to the corresponding rules of the unique binding program

• magic_to_original_pred_map is a map from ids of predicates of the magic program to the corresponding predicate ids of the original program

query_to_seed query program Build the seed from the query and update the program consequently.

query_to_seed query program Build the seed from the query and update the program consequently.