(autoload 'eclipse-mode "<eclipsedir>/lib_public/eclipse.el" "ECLIPSE editing mode" t)where <eclipsedir> is the path to your ECLiPSe installation directory.
will print one-line descriptions about write/1, writeclause/2, etc. When a unique specification is given, the full description of the specified built-in is displayed, e.g. in?- help(write).
or?- help(write/1).
?- help(ic:alldifferent/1).