Literate Programming for Prolog with LaTeX.

Typeset Prolog code and documentation in LaTeX.

Gerd Neugebauer

gene@gerd-neugebauer.de

This file describes the installation procedure of the style options pl and pcode. The documentation will be produced during this process.

Files

The distribution of pl.sty contains at least the following files:

• README This file.
• pl.dtx The documented source file.
• pl.ins The docstrip installer to produce pl.sty.
• pl.tex The driver file to produce the documentation.
• pl.cfg The documentation configuration file.
• sample.pl A sample Prolog file.
• Makefile A makefile for UNX (or whatever can use it)

Prerequisites

1. You need to have installed LaTeX. Even LaTeX 2.09 is OK.

1. You need the style option doc.sty and the file docstrip.tex on your TeX search path. (To put them in the current directory should also work). You need a version distributed with LaTeX2ε — even if you still use LaTeX 2.09.

1. You need multicol.sty. At least a file named multicol.sty should be on your TeX search path if you use LaTeX 2.09.

1. You should have the program makeindex to generate the index for the full documentation.

Installation

1. If you have a working make (e.g. on UNIX) you can just type

     make
   

This performs the following steps which can also be started manually:

1.1 Run LaTeX on the file pl.ins like in

  ```
    latex pl.ins
  ```

  This should produce the files pl.sty and pcode.sty
  (and as a side effect the file pl.log)

1.2 Run LaTeX on the file pl.tex like in

  ```
    latex pl.tex
  ```

  This will produce the documentation file pl.dvi

1. Place the file pl.sty and maybe pcode.sty in a place where TeX searches for it.

1. Print the documentation pl.dvi and READ it!

PROBLEMS

• If you do not get your hands on the appropriate version of docstrip then you can just rename pl.doc into pl.sty. This should work even if the startup time might be slightly higher.

• If you get an error during the processing of pl.tex, most likely your version of doc.sty or multicol.sty is out of date.