http://pauillac.inria.fr/~deransar/prolog/docs.html

or the book

PROLOG: THE STANDARD by Deransart et al.