Instead of having to transform the common source into program or documentation, the central idea was to develop a method to have one common source which can be interpreted by a Prolog system as well as by LaTeX.