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.
|License||Free license not otherwise listed, or more than one free license applies|
|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
- literate: A literate programming system, not tied to any language
- pl-mf: Polish extension of Computer Modern fonts
- yacco2: Multi-threaded LR(1) compiler/compiler that emits literate grammar documents