Program annotation

When visualising CLP program behaviour, not all the variables of the program are of interest. ECLiPSe supports the concept of a set of viewable variables whose state over the course of a program run are of interest to the user. The library lib(viewable) contains the annotation predicates that allow a programmer to define (and expand) these viewable sets.