pl – Literate Programming for Prolog with LaTeX

In­stead of hav­ing to trans­form the com­mon source into pro­gram or
doc­u­men­ta­tion, the cen­tral idea was to de­velop a method to have
one com­mon source which can be in­ter­preted by a Prolog sys­tem as
well as by LaTeX, whether that Prolog sys­tem be C-Prolog,
Quin­tus-Prolog, or ECLiPSe.