Debug Package

This package provides debugging of predicates. It consists of the following modules:

Comments