Module MagicRewritingSource

Sourcemodule Adornment : sig ... end

This module implements free/bound adornments

Sourcemodule Magic : sig ... end
Sourcemodule Rewriting : sig ... end

Module to rewrite program and derivations.

Sourcemodule Rgg : sig ... end

Module to handle the Rule/Goal Graph construction.

Sourcemodule Unique_binding : sig ... end

This module the construction of a new program where every binding pattern for a predicate p is unique, see p 800 of Principles of Database and Knowledge-Base Systems II, Ullman