Swi-prolog is a prolog implementation based on a subset of the wam. it is accompanied by xpce, a symbolic programming environment for user interfaces.

this package contains the documentation in pdf and html format for swi-prolog and xpce/prolog.