The ECLiPSe Prolog Built-in Predicate Reference Manual (BIP book [22]) is available on-line. Calling help(PredSpec) will display the appropriate manual page, containing a detailed description of the specified built-in predicate.
