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.