prolog miknix@gentoo.org Angelo Arrifano Support GNU Prolog back-end compiler Support Qu-Prolog back-end compiler Support SWI-Prolog back-end compiler Support XSB back-end compiler Support YAP back-end compiler Support for generating html documentation using xslt Support for generating pdf documentation using fop