lpdoc generates documentation from one or more source files for a logic program (including ISO-Prolog, Ciao, and other CLP). It is particularly useful for documenting library modules, for which it automatically generates a description of the module interface. lpdoc can also be used quite successfully to document full applications and to format single documentation files.
The quality of the documentation generated can be greatly enhanced by including within the program text:
lpdoc can generate documentation in multiple formats, including HTML, pdf, info, and ascii.
lpdoc is distributed under the GNU general public license.