System Package

This theory is concerned with the advanced inspection of a consulted Prolog text.

Comments