pl – Literate Programming for Prolog with LaTeX
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, whether that Prolog system be C-Prolog, Quintus-Prolog, or ECLiPSe.
|Licenses||Free license not otherwise listed|
|Contained in||TeX Live as plweb|
MiKTeX as pl
Download the contents of this package in one zip archive (116.2k).
Maybe you are interested in the following packages as well.
- gene-logic: Typeset logic formulae, etc
- web9pt: Nine-point web listings
- cwebbin: CWEB for ANSI-C/C++ compilers
- tex-virtual-academy-pl: TeX usage web pages, in Polish