Structure Package

This theory is concerned with the underlying term model of the Prolog interpreter. We find the following topics:

Kommentare