package acgtk

  1. Overview
  2. Docs
package acgtk
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.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct