pl: Typesetting Prolog Documentation
The idea of “Literate Programming” is to tie together the code and the documentation. The required aspect can then be extracted. The package pl provides a poor man’s solution for Prolog. It allows you to use the same file without change or generation for LaTeX and for Prolog.