Here is a list of all related documentation pages:

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