Module MagicRewriting.RggSource

Module to handle the Rule/Goal Graph construction.

12.8 Rule/Goal Graph see p 795-799 of Principles of Database and Knowledge-Base Systems II, Ullman

Log is the log module for Rgg

Sourcetype rule_node = {
  1. rule : ASRule.rule;
  2. adorned_head : Adornment.status list;
  3. position : int;
  4. bound_vars : ASPred.TermSet.t;
  5. free_vars : ASPred.TermSet.t;
}
Sourcetype vertex =
  1. | Goal of ASPred.predicate * Adornment.status list
  2. | Rule of rule_node
    (*

    A node is either a Goal or a Rule

    *)
Sourcemodule Rg_graph : Graph.Sig.P with type V.t = vertex
Sourceval graph_to_dot : Rg_graph.t -> ASProg.program -> string -> unit

graph_to_dot rgg program filename Build a dot file from a rgg graph

build_rgg program query Build the rule/goal graph for program and query.