Gnu prolog is a free prolog compiler with constraint solving over finite domains (fd) developed at inria by daniel diaz.

this package contains the documentation (both pdf and html) for gnu prolog.