|
|
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. |
|
|