GNU Prolog is a free Prolog compiler with constraint solving over finite domains (FD). . This package contains the documentation (PDF and HTML) for GNU Prolog.
Installed Size: 1.3 MB Architectures: all