Here is a list of all related documentation pages:

GNU General Public License
GNU Free Documentation License
System-Independent Features
Predicates for Configured Domains
Compilation and Installation
Prolog Interface System-Dependent Features