HyperPro is documentation and development tool for constraint logic programming systems. It integrates logic program elements and texts, so it may be viewed as a system for the
development of executable documentation. Projection is a mechanism for extracting and exporting relevant pieces of code or text according to specific criteria.