package acgtk

This module implements free/bound adornments

Module to rewrite program and derivations.

Module to handle the Rule/Goal Graph construction.

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