CMU Artificial Intelligence Repository
Home INFO Search FAQs Repository Root

Literate Prolog: LaTeX macros for including Prolog code in documents.

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.

   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