Version:
3.0
Copyright:
License:
other-free
Packaged on:
7/18/2016 4:53:00 PM
Number of files:
8
Size on disk:
147.02 kB

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.