|
|
|
Linux temps réel embarqué et outils de développements
|
Technique |
|
|
gprolog-doc
| gprolog-doc | documentation for the GNU Prolog compiler | | Priority | |
| Section | doc |
| Installed size | 2344 |
| Maintainer | Salvador Abreu <spa@debian.org> |
| Architecture | all |
| Version | 1.2.18-17 |
| Depends | libc6 (>= 2.3.6-6) |
| Suggests | php5-cli, php-doc |
| File name | pool/main/g/gprolog/gprolog-doc_1.2.18-17_all.deb |
| Description | 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. |
|
|
|