The manual for a different dialect of Prolog called Sicstus Prolog is available online in searchable form at the following URL. It is quite useful for providing definitions and examples for commonly used Prolog predicates.
http://www.sics.se/sicstus/docs/3.7.1/html/sicstus_toc.html