CMU Artificial Intelligence Repository
Literate Prolog: LaTeX macros for including Prolog code in
documents.
lang/prolog/util/latex2pl/
Literate Prolog (latex2pl) allows the user to include Prolog code in
LaTeX documents. The Prolog code is included between \begin{prolog}
and \end{prolog} commands. These sections are typeset in Courier to
distinguish them from the surrounding text. The commands
\begin{prologdisplay} and \end{prologdisplay} are like the verbatim
environment, except that the text is typeset in Courier Italic to
identify it as Prolog code that is not necessarily executable. Smaller
sections of Prolog text can be typeset using the {\pl ...} and
{\pli ...} commands, the latter being "Prolog italic".
The author did not use Web, because the formatting commands are
cryptic and Prolog doesn't need the same code reordering as Pascal and C.
Origin:
Posted to comp.lang.prolog by Steve Kelem on
Wed, 24 Feb 1993 20:48:03 GMT as a shar file.
Version: 24-FEB-93
Requires: LaTeX
Ports: Works with any brand of Prolog.
CD-ROM: Prime Time Freeware for AI, Issue 1-1
Author(s): Steve Kelem
Xilinx
2100 Logic Drive
San Jose, CA 95124
Tel: 408-879-5347
Fax: 408-559-7114
Keywords:
LaTeX, Literate Programming!Prolog, Prolog!Utilities, TeX,
Web, latex2pl
References: ?
Last Web update on Mon Feb 13 10:35:31 1995
AI.Repository@cs.cmu.edu