Re: Prolog -> Tex

gipsy boy wrote: 
Hello,

I'd like to convert my Prolog code to some fancy looking Tex/PDF/HTML/whatever (preferably Tex).
Any idea how to do that?

For typesetting code in various programming languages, you can use the listings package:

http://www.ctan.org/tex-archive/help/Catalogue/entries/listings.html

I've used it with C (never used it with Prolog), but in the manual says that it also handles the Prolog syntax.

BTW, if you want to draw SLDNF trees in LaTeX, you may try SLDNF-Draw:

http://www.ing.unife.it/docenti/MarcoGavanelli/sldnfDraw/

Cheers,
Marco
.