The IF/Prolog V5.3 Manuals:

Installation Guide
Users Guide
Reference Manual
Constraint Technology
Windows specific Interfaces
Java Interface
SQL Interface
OSF/Motif Interface