1
.7. Prolog Manuals
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.cling.gu.se/datorinfo/sicstus/sicstus3/sicstus3.html