Download Source Package gprolog:
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.
|
|
|
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 1,024.9 kB | 2344 kB | [list of files] |