package acgtk

  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type

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

type 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;
}
type vertex =
  1. | Goal of ASPred.predicate * Adornment.status list
  2. | Rule of rule_node
    (*

    A node is either a Goal or a Rule

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

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

val build_rgg : ASProg.program -> (ASPred.predicate * Adornment.status list) -> Rg_graph.t

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

OCaml

Innovation. Community. Security.